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
Practical application of model-based software design for automotive
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