Statemate-based Modeling and Verification of Railway Systems: Concepts and Application
Engineering of Computer-based Interlocking Functions
Ein Weg zur Einsetzbarkeit Formaler Methoden fur Ingenieure im Eisenbahnwesen
DIE METHODE,,B" Sichere Software fur Bahnanwendungen
Die Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes
Formale Techniken fur die Eisenbahnsicherungstechnik
Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung
Petrinetze fur die durchgangige Entwicklung von Systemen der Eisenbahnsicherung
COMPOSE - Formale Technik zur Entwicklung von Leit-und Sicherungssystemen im Schienenverkehr
Nutzung von UML und CASE Tools wie SDL fur Fuhrerstand MMI und telemetriebasierte Zugsicherung