Ambrosia : ein Echtzeit-Betriebssystem für Automobil-Steuergeräte
Automatisierte Funktionsoptimierung von Adaptive Cruise Control
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
A Validation Methodology for OCaml-to-PVS Translation
Bidirektionale Transformation zwischen GRAFCET‐Spezifikationen und IEC 61131‐3 Steuerungscodes
Building secure cars : assuring the automotive software development lifecycle
Building secure cars : assuring the automotive software development lifecycle
Design und Realisierung einer modularen Architektur für ein Fahrzeugentwurfssystem