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