Formal methods and temporal safety requirements: A level crossing application
FunkFahrBetrieb - Erstanwendung für die DB AG im Lautertal
Anwendung der EN bei kleineren Systemen und Anpassungsentwicklungen
Die Erhöhung der Sicherheit an den Bahnübergängen in Ungarn