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 Anwendung von formalen Techniken aus Sicht des Eisenbahn-Bundesamtes
Formale Techniken fur die Eisenbahnsicherungstechnik
DIE METHODE,,B" Sichere Software fur Bahnanwendungen
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