Safe software development for a video-based train detection system in accordance with EN 50128
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Ein Beitrag zum rechnerunterstützten Konzeptentwurf von Verkehrsflugzeugen mit Propellerantrieb