Beschreibung
Produktdetails
Einband
Gebundene Ausgabe
Erscheinungsdatum
30.07.2021
Abbildungen
XIX, 240 p. 125 illus.
Herausgeber
Simon Collart-DutilleulVerlag
SpringerSeitenzahl
240
Maße (L/B/H)
24,1/16/2 cm
Gewicht
565 g
Auflage
21001 Auflage 1st edition 2022
Sprache
Englisch
ISBN
978-3-030-72001-8
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.
Noch keine Bewertungen vorhanden
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.
Kurze Frage zu unserer Seite
Vielen Dank für dein Feedback
Wir nutzen dein Feedback, um unsere Produktseiten zu verbessern. Bitte habe Verständnis, dass wir dir keine Rückmeldung geben können. Falls du Kontakt mit uns aufnehmen möchtest, kannst du dich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice