This paper, written in honour of Tiziana Margaria, aims to provide a comprehensive presentation of where mainstream formal methods are currently used for modelling and analysis of railway applications.
Formal methods for industrial critical systems: 30 years of railway applications
ter Beek M. H.;Fantechi A.;Gnesi S.
2024
Abstract
This paper, written in honour of Tiziana Margaria, aims to provide a comprehensive presentation of where mainstream formal methods are currently used for modelling and analysis of railway applications.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
ISoLA24RED.pdf
solo utenti autorizzati
Descrizione: Formal Methods for Industrial Critical Systems. 30 Years of Railway Applications
Tipologia:
Versione Editoriale (PDF)
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
1.54 MB
Formato
Adobe PDF
|
1.54 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
T60.pdf
accesso aperto
Descrizione: This is the Submitted version (preprint) of the following paper: ter Beek M.H, Fantechi A., Gnesi S. “Formal Methods for Industrial Critical Systems. 30 Years of Railway Applications”, 2024 submitted to “The Combined Power of Research, Education, and Dissemination. Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday”, Lecture Notes in Computer Science Vol. 15240 pp. 327-344. The final published version is available on the publisher’s website https://link.springer.com/chapter/10.1007/978-3-031-73887-6_21.
Tipologia:
Documento in Pre-print
Licenza:
Altro tipo di licenza
Dimensione
663.48 kB
Formato
Adobe PDF
|
663.48 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
