Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 14198)
Included in the following conference series:
Conference proceedings info: RSSRail 2023.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10–12, 2023.
The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
Keywords
Table of contents (13 papers)
-
Front Matter
-
Tooled Approaches and Dependability of Highly Automated Transport Systems
-
Front Matter
-
-
Formal Methods for Safety Assessment
-
Front Matter
-
-
Formal Model and Visual Tooling
-
Front Matter
-
-
Back Matter
Other volumes
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Editors and Affiliations
Bibliographic Information
Book Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Book Subtitle: 5th International Conference, RSSRail 2023, Berlin, Germany, October 10–12, 2023, Proceedings
Editors: Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-43366-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Softcover ISBN: 978-3-031-43365-8Published: 08 September 2023
eBook ISBN: 978-3-031-43366-5Published: 26 September 2023
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XX, 226
Number of Illustrations: 27 b/w illustrations, 75 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks, Computer Applications, Artificial Intelligence