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.
