Reliability, safety, and security of railway systems modelling, analysis, verification, and certification : third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019 : proceedings /
作者:edited by Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky.
出版者:Springer International Publishing : Imprint: Springer
出版地:Cham :
語文:英語
叢書名:Lecture notes in computer science, ; Programming and software engineering