Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedin Paperback / softback
Edited by Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte
Part of the Lecture Notes in Computer Science series
Paperback / softback
- Information
Description
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.
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:226 pages, 75 Illustrations, color; 27 Illustrations, black and white; XX, 226 p. 102 illus., 75 ill
- Publisher:Springer International Publishing AG
- Publication Date:08/09/2023
- Category:
- ISBN:9783031433658
Information
-
Out of StockMore expected soonContact us for further information
- Format:Paperback / softback
- Pages:226 pages, 75 Illustrations, color; 27 Illustrations, black and white; XX, 226 p. 102 illus., 75 ill
- Publisher:Springer International Publishing AG
- Publication Date:08/09/2023
- Category:
- ISBN:9783031433658
