Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Simon Collart-Dutilleul
Themen in »Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification«
architecting architecture verification and validation artificial intelligence computer hardware computer networks computer programming computer science computer systems embedded systems engineering internet linguistics mathematics model checking network protocols