Semiformale Entwurfsmethoden bei BMW
Ambrosia : ein Echtzeit-Betriebssystem für Automobil-Steuergeräte
Ein Beitrag zum rechnerunterstützten Konzeptentwurf von Verkehrsflugzeugen mit Propellerantrieb
Ein Beitrag zum rechnerunterstützten Konzeptentwurf von Verkehrsflugzeugen mit Propellerantrieb
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil
Entwicklung und Analyse zeitgesteuerter Systeme
Design und Realisierung einer modularen Architektur für ein Fahrzeugentwurfssystem
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Über Techniken zur objektorientierten Entwicklung von Software-Systemen für Fahrzeugfunktionen
Über Techniken zur objektorientierten Entwicklung von Software-Systemen für Fahrzeugfunktionen
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
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Eine Basis-Systemarchitektur zur Sensordatenfusion von Umfeldsensoren für Fahrerassistenzsysteme
Durchgängige Verwendung von automatisierten Steuergeräte-Verbundtests in der Fahrzeugentwicklung