The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.
Formal methods for distributed control systems of future railways
Fantechi A;Gnesi S;
2022
Abstract
The adoption of formal methods in railway signalling has been the subject of specific tracks of past ISOLA conferences since a decade.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_474956-doc_193955.pdf
solo utenti autorizzati
Descrizione: Formal methods for distributed control systems of future railways
Tipologia:
Versione Editoriale (PDF)
Dimensione
113.24 kB
Formato
Adobe PDF
|
113.24 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
