Editorial of the FAOC special collection on the application of formal methods to Distributed Computing in Future Railway Systems.
Editorial / Fantechi A.; Haxthausen A.E.; Woodcock J.. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 33:(2021), pp. 923-924. [10.1007/s00165-021-00568-x]
Editorial
Fantechi A.;
2021
Abstract
Editorial of the FAOC special collection on the application of formal methods to Distributed Computing in Future Railway Systems.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
https:::link.springer.com:content:pdf:10.1007:s00165-021-00568-x.pdf
Accesso chiuso
Tipologia:
Pdf editoriale (Version of record)
Licenza:
Tutti i diritti riservati
Dimensione
44.52 kB
Formato
Adobe PDF
|
44.52 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.