EI
EI – DER EISENBAHNINGENIEUR | Issue 08/2022

Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks

August 2022 | Volkmar Bachmann, Pedro Lehman Ibanez, Andreas Oetting, Miroslav Pejic, Bilal Üypmez, Salome Vogel

Unterstützung automatisierbarer Arbeitsschritte in der ETCS L2-Ausrüstungsplanung durch formale Modellierung spezifischer Regeln und fachlicher Kompetenzen

Futher articles in this issue: