Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
Häftad, 2019
869 kr
Operating Rules and Interoperability in Trans-National High-Speed Rail
Inbunden, Engelska, 2021
2 449 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment.
Produktinformation
- Utgivningsdatum2021-07-30
- Mått155 x 235 x 20 mm
- Vikt565 g
- FormatInbunden
- SpråkEngelska
- Antal sidor240
- FörlagSpringer Nature Switzerland AG
- ISBN9783030720018
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 13294
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
Häftad, 2022
969 kr
Del 14198
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte
Häftad, 2023
939 kr
Del 15456
Risks and Security of Internet and Systems
Samir Ouchani, Simon Collart-Dutilleul, Samir Ouchani, Nora Cuppens, Frédéric Cuppens
Häftad, 2025
1 929 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte
Häftad, 2025
839 kr
Hoppa över listan
Du kanske också är intresserad av
Del 15456
Risks and Security of Internet and Systems
Samir Ouchani, Simon Collart-Dutilleul, Samir Ouchani, Nora Cuppens, Frédéric Cuppens
Häftad, 2025
1 929 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky
Häftad, 2019
869 kr
Del 13294
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
Häftad, 2022
969 kr
Del 14198
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte
Häftad, 2023
939 kr
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte
Häftad, 2025
839 kr
- Nyhet
- Nyhet
Del 6
- Nyhet
- Nyhet
- Nyhet
Del 11