Operating rules and interoperability in trans-national high-speed rail
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030720018
Date de publication :
30 juil. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.