Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden
Entwicklung und Analyse zeitgesteuerter Systeme
Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
Eine durchgängige modellbasierte Entwurfsmethodik für eingebettete Systeme im Automobilbereich
Eine Basis-Systemarchitektur zur Sensordatenfusion von Umfeldsensoren für Fahrerassistenzsysteme
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Ein Beitrag zum rechnerunterstützten Konzeptentwurf von Verkehrsflugzeugen mit Propellerantrieb
Ein Beitrag zum rechnerunterstützten Konzeptentwurf von Verkehrsflugzeugen mit Propellerantrieb
Durchgängige Verwendung von automatisierten Steuergeräte-Verbundtests in der Fahrzeugentwicklung
Design und Realisierung einer modularen Architektur für ein Fahrzeugentwurfssystem