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, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania. - STAMPA. - 15240:(2025), pp. 327-344. ( The Combined Power of Research, Education, and Dissemination) [10.1007/978-3-031-73887-6_21].

Formal Methods for Industrial Critical Systems - 30 Years of Railway Applications

Fantechi, Alessandro;Gnesi, Stefania
2025

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.
2025
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) volume 15240 - The Combined Power of Research, Education, and Dissemination
The Combined Power of Research, Education, and Dissemination
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania
4a - Articolo in atti di congresso
File in questo prodotto:
File Dimensione Formato  
978-3-031-73887-6_21.pdf

Accesso chiuso

Tipologia: Versione finale referata (Postprint, Accepted manuscript)
Licenza: Solo lettura
Dimensione 1.54 MB
Formato Adobe PDF
  Richiedi una copia
1.54 MB Adobe PDF   Richiedi una copia

I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/1454397
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? ND
social impact