Presentationof the experimentation done in the context of the ASTRAIL project on the formal modelling and verification of a moving block system.
Modelling a moving block train control system: different techniques and tools
Mazzanti F.
2019
Abstract
Presentationof the experimentation done in the context of the ASTRAIL project on the formal modelling and verification of a moving block system.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_408345-doc_143275.pdf
accesso aperto
Descrizione: Modelling a moving block train control system: different techniques and tools
Tipologia:
Altro materiale allegato
Licenza:
Creative commons
Dimensione
4.48 MB
Formato
Adobe PDF
|
4.48 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
