Alessandro Cimatti, Raffaele Corvino, Armando Lazzaro, Iman Narasamdya, Tiziana Rizzo, Marco Roveri, Angela Sanseviero, Andrei Tchaltsev. Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System. In P. Madhusudan, Sanjit A. Seshia, editors, Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Volume 7358 of Lecture Notes in Computer Science, pages 378-393, Springer, 2012. [doi]
@inproceedings{CimattiCLNRRST12,
title = {Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System},
author = {Alessandro Cimatti and Raffaele Corvino and Armando Lazzaro and Iman Narasamdya and Tiziana Rizzo and Marco Roveri and Angela Sanseviero and Andrei Tchaltsev},
year = {2012},
doi = {10.1007/978-3-642-31424-7_29},
url = {http://dx.doi.org/10.1007/978-3-642-31424-7_29},
researchr = {https://researchr.org/publication/CimattiCLNRRST12},
cites = {0},
citedby = {0},
pages = {378-393},
booktitle = {Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
editor = {P. Madhusudan and Sanjit A. Seshia},
volume = {7358},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-31423-0},
}