Stefan Mitsch, Marco Gario, Christof J. Budnik, Michael Golm, André Platzer. Formal Verification of Train Control with Air Pressure Brakes. In Alessandro Fantechi, Thierry Lecomte, Alexander Romanovsky, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings. Volume 10598 of Lecture Notes in Computer Science, pages 173-191, Springer, 2017. [doi]
@inproceedings{MitschGBGP17,
title = {Formal Verification of Train Control with Air Pressure Brakes},
author = {Stefan Mitsch and Marco Gario and Christof J. Budnik and Michael Golm and André Platzer},
year = {2017},
doi = {10.1007/978-3-319-68499-4_12},
url = {https://doi.org/10.1007/978-3-319-68499-4_12},
researchr = {https://researchr.org/publication/MitschGBGP17},
cites = {0},
citedby = {0},
pages = {173-191},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings},
editor = {Alessandro Fantechi and Thierry Lecomte and Alexander Romanovsky},
volume = {10598},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-68499-4},
}