Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings

This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. The...

Full description

Saved in:
Bibliographic Details
Main Authors Collart-Dutilleul, Simon, Haxthausen, Anne E, Lecomte, Thierry
Format eBook
LanguageEnglish
Published Netherlands Springer Nature 2022
Springer International Publishing AG
Springer
Edition1
SeriesLecture Notes in Computer Science
Subjects
Computer programming, programs, data
Railroads
Railroads-Safety measures
Online AccessGet full text

Cover

More Information
Summary:This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.
ISBN:3031058143
9783031058141
3031058135
9783031058134