Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
-
- €54.99
-
- €54.99
Publisher Description
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.
GENRE
Computing & Internet
RELEASED
2022
19 May
LANGUAGE
EN
English
LENGTH
257
Pages
PUBLISHER
Springer International Publishing
PROVIDER INFO
Springer Science & Business Media LLC
SIZE
25.3
MB
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017
Formal Methods for Industrial Critical Systems
2019
Dependable Computing – EDCC 2022 Workshops
2022
Model-Based Safety and Assessment
2019
Computer Safety, Reliability, and Security
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2025
Risks and Security of Internet and Systems
2025
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2023
Operating Rules and Interoperability in Trans-National High-Speed Rail
2021
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2019