EI – DER EISENBAHNINGENIEUR | Ausgabe 08/2022
Teilautomatisierte ETCS L2-Planprüfung durch Formalisierung des Regelwerks
Unterstützung automatisierbarer Arbeitsschritte in der ETCS L2-Ausrüstungsplanung durch formale Modellierung spezifischer Regeln und fachlicher Kompetenzen