Ziyue Tang, Ning Zhao, Khalid Khan, Katinka Wolter. Safety Analysis of Automatic Train Operation Based on ETCS. In Birgit Milius, Simon Collart Dutilleul, Thierry Lecomte, editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings. Volume 14198 of Lecture Notes in Computer Science, pages 43-61, Springer, 2023. [doi]
@inproceedings{TangZKW23,
title = {Safety Analysis of Automatic Train Operation Based on ETCS},
author = {Ziyue Tang and Ning Zhao and Khalid Khan and Katinka Wolter},
year = {2023},
doi = {10.1007/978-3-031-43366-5_3},
url = {https://doi.org/10.1007/978-3-031-43366-5_3},
researchr = {https://researchr.org/publication/TangZKW23},
cites = {0},
citedby = {0},
pages = {43-61},
booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings},
editor = {Birgit Milius and Simon Collart Dutilleul and Thierry Lecomte},
volume = {14198},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-031-43366-5},
}