TY - BOOK
T1 - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
A2 - Collart-Dutilleul, Simon
A2 - Haxthausen, Anne Elisabeth
A2 - Lecomte, Thierry
PY - 2022
Y1 - 2022
N2 - This volume contains papers presented at the fifth international conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail 2022) We are pleased to propose a mainly physical meeting during June 1–2, 2022, organized by University Gustave Eiffel in the UIC (The Worldwide Railway Organization) building in Paris. The conference is back in Paris after its first loop: The series of conferences started in Paris in 2016 and continued in 2017 in Pistoia. In 2019, the conference took place in Lille and the 2021, edition was a special issue of the journal Formal Aspects of Computing. In 2022 we were back to where we started, after a long period of pandemic, filled with expectations for a fruitful physical event fostering networking activities and an informal but fundamental sharing of knowledge
AB - This volume contains papers presented at the fifth international conference on Reliability, Safety and Security of Railway Systems: Modelling, Analysis, Verification and Certification (RSSRail 2022) We are pleased to propose a mainly physical meeting during June 1–2, 2022, organized by University Gustave Eiffel in the UIC (The Worldwide Railway Organization) building in Paris. The conference is back in Paris after its first loop: The series of conferences started in Paris in 2016 and continued in 2017 in Pistoia. In 2019, the conference took place in Lille and the 2021, edition was a special issue of the journal Formal Aspects of Computing. In 2022 we were back to where we started, after a long period of pandemic, filled with expectations for a fruitful physical event fostering networking activities and an informal but fundamental sharing of knowledge
U2 - 10.1007/978-3-031-05814-1
DO - 10.1007/978-3-031-05814-1
M3 - Book
SN - 978-3-031-05813-4
T3 - Lecture Notes in Computer Science
BT - Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
PB - Springer
T2 - 4<sup>th</sup> International Conference on Reliability, Safety, and Security of Railway Systems
Y2 - 1 June 2022 through 2 June 2022
ER -