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