We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

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

By Anne E. Haxthausen, Simon Collart-Dutilleul, Thierry Lecomte

part of the Lecture Notes in Computer Science series

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification by Anne E. Haxthausen Save 15% from RPP Save 15%
About Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

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.

Show more
  • Language:
  • English
  • ISBN:
  • 9783031058134
  • Binding:
  • Paperback
  • Pages:
  • 260
  • Published:
  • May 20, 2022
  • Edition:
  • 22001
  • Dimensions:
  • 155x15x235 mm.
  • Weight:
  • 400 g.
Delivery: 2-4 weeks
Expected delivery: December 19, 2024

About Anne E. Haxthausen

View all books by Anne E. Haxthausen

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

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.

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



Others also bought..
Find similar books
The book Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.