Innovative Konzepte und Algorithmen für eine digitale LST (Teil 2)
Strukturiertes Formalisieren am Beispiel des ETCS-Planungsregelwerks
Im zweiten Teil des Beitrags zu Zukunftskonzepten für den digitalen Bahnbetrieb wird das Forschungsprojekt „FormETCS“ vorgestellt, dass die Machbarkeit einer automatisierten Infrastrukturplanung untersucht.
