Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Formal Design and Validation of an Automatic Train Operation Control System

Media type: E-Article
Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Formal Design and Validation of an Automatic Train Operation Control System
Contributor: Amendola, Arturo; Barruffo, Lorenzo; Bozzano, Marco; Cimatti, Alessandro; De Simone, Salvatore; Fedeli, Eugenio; Gabbasov, Artem; Garrubba, Domenico Ernesto; Girardi, Massimiliano; Serra, Diana; Tiella, Roberto; Zampedri, Gianni
Published: Springer International Publishing, 2022
Published in: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (2022), Seite 169-178
Language: Not determined
DOI: 10.1007/978-3-031-05814-1_12
ISBN: 9783031058134; 9783031058141
ISSN: 0302-9743; 1611-3349
Origination:
Footnote:

Search in field: