Formal Design and Validation of an Automatic Train Operation Control System

Autor: Arturo Amendola, Lorenzo Barruffo, Marco Bozzano, Alessandro Cimatti, Salvatore De Simone, Eugenio Fedeli, Artem Gabbasov, Domenico Ernesto Garrubba, Massimiliano Girardi, Diana Serra, Roberto Tiella, Gianni Zampedri

Publikováno v: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783031058134

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::299d1c3c401f235ac52a6caa130650a0
https://doi.org/10.1007/978-3-031-05814-1_12