Operating Rules and Interoperability in Trans-National High-Speed Rail
Springer Nature Switzerland AG, 2021
198,50 €On orderDelivery: 2-3 weeks
This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools.
- ISBN-13
- 9783030720018
- ISBN-10
- 3030720012
- Publisher
- Springer Nature Switzerland AG
- Year
- 2021
- Publication date
- 2021-07-30
- Pages
- 240
- Dimensions
- 235x155x