Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Entwicklung der Forschungssoftware RCE im DLR
Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden
Timing Verifikation von AUTOSAR Softwarearchitekturen
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil
Implementierung des Software-Prototyps einer Online-Frachtenbörse
Design und Realisierung einer modularen Architektur für ein Fahrzeugentwurfssystem
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
Eine Basis-Systemarchitektur zur Sensordatenfusion von Umfeldsensoren für Fahrerassistenzsysteme
Bidirektionale Transformation zwischen GRAFCET‐Spezifikationen und IEC 61131‐3 Steuerungscodes
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
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
Simulation und Test für die Automobilelektronik IV
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Ambrosia : ein Echtzeit-Betriebssystem für Automobil-Steuergeräte