Spezifikation eines Testwerkzeugs für die automatisierte Prüfung von LST-Planungsdaten im XML-Format
Specification of Distributed Computing for Small Satellite Control
Validating Machine Learning-based Highly Automated Driving Functions by Diversity
Timing Verifikation von AUTOSAR Softwarearchitekturen
Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
Composable Coordination for Service Robots: A Model-Driven Approach
A coordination perspective of agility in automotive product development
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
Safe and Robust Automation of Aircraft and System Operation
A Validation Methodology for OCaml-to-PVS Translation
Heterogeneous Verification of an Autonomous Curiosity Rover
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Bayesian optimization in robot learning : automatic controller tuning and sample-efficient methods
Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Entwicklung der Forschungssoftware RCE im DLR
Automatisierte Funktionsoptimierung von Adaptive Cruise Control
Entwicklung von Steuerungs-Software für den automobilen Antriebsstrang mit agilen Methoden
Safe software development for a video-based train detection system in accordance with EN 50128
TOYOTA MBD initiatives for engine control design