Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

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. 

GENRE
Computers & Internet
RELEASED
2019
May 28
LANGUAGE
EN
English
LENGTH
316
Pages
PUBLISHER
Springer International Publishing
SELLER
Springer Nature B.V.
SIZE
23.1
MB
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 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 Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022
Formal Methods for Industrial Critical Systems Formal Methods for Industrial Critical Systems
2019
Computer Safety, Reliability, and Security Computer Safety, Reliability, and Security
2016
Dependable Computing – EDCC 2022 Workshops Dependable Computing – EDCC 2022 Workshops
2022
Model-Based Safety and Assessment Model-Based Safety and Assessment
2019
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2023
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
2022
Operating Rules and Interoperability in Trans-National High-Speed Rail Operating Rules and Interoperability in Trans-National High-Speed Rail
2021