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
Computers & Internet
RELEASED
2022
May 19
LANGUAGE
EN
English
LENGTH
257
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
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