Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
-
- $49.99
-
- $49.99
Publisher Description
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.
The 18 full papers presented in this book were carefully reviewed and selected from 38 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.
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2017
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022
Formal Methods for Industrial Critical Systems
2019
Computer Safety, Reliability, and Security
2016
Dependable Computing – EDCC 2022 Workshops
2022
Model-Based Safety and Assessment
2019