Mathieu Comptier, David Déharbe, Julien Molinero Perez, Louis Mussat, Pierre Thibaut, Denis Sabatier. Safety Analysis of a CBTC System: A Rigorous Approach with Event-B. 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 148-159, Springer, 2017. [doi]
@inproceedings{ComptierDPMTS17,
title = {Safety Analysis of a CBTC System: A Rigorous Approach with Event-B},
author = {Mathieu Comptier and David Déharbe and Julien Molinero Perez and Louis Mussat and Pierre Thibaut and Denis Sabatier},
year = {2017},
doi = {10.1007/978-3-319-68499-4_10},
url = {https://doi.org/10.1007/978-3-319-68499-4_10},
researchr = {https://researchr.org/publication/ComptierDPMTS17},
cites = {0},
citedby = {0},
pages = {148-159},
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},
}