Entwicklung eines passiven Phasenstellers für Verbrennungsmotoren mit Fail-silent-Notlalaufsystem
UML-basierte Testfall- und Systemmodelle für die Eisenbahnleit- und -sicherungstechnik
Integration formaler Fehlereinflussanalyse in die Funktionsentwicklung bei der Automobilindustrie
Top-Down-Funktionsentwicklung eines Einbiege- und Kreuzenassistenten