Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
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
Building secure cars : assuring the automotive software development lifecycle
Building secure cars : assuring the automotive software development lifecycle
Specification of Distributed Computing for Small Satellite Control
In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
A Validation Methodology for OCaml-to-PVS Translation
Safe and Robust Automation of Aircraft and System Operation
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Heterogeneous Verification of an Autonomous Curiosity Rover
Validating Machine Learning-based Highly Automated Driving Functions by Diversity
Composable Coordination for Service Robots: A Model-Driven Approach
Implementierung des Software-Prototyps einer Online-Frachtenbörse
Design und Realisierung einer modularen Architektur für ein Fahrzeugentwurfssystem
A coordination perspective of agility in automotive product development
Automatisierte Funktionsoptimierung von Adaptive Cruise Control
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge