Model-based testing of real-time embedded systems in the automotive domain
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie
Bionisches Diagnoseassistenzsystem für die Dauerprobung autonom fahrender Personenkraftwagen
Testumgebung zur automatisierten Funktionsprüfung von Fahrzeugsteuergeräten
Optimiertes Modell zur gewerkeübergreifenden Planung der Eisenbahninfrastruktur