Composable Coordination for Service Robots: A Model-Driven Approach
Building secure cars : assuring the automotive software development lifecycle
Building secure cars : assuring the automotive software development lifecycle
Bidirektionale Transformation zwischen GRAFCET‐Spezifikationen und IEC 61131‐3 Steuerungscodes
Betrachtung zur Software-Entwicklung im Eisenbahnbereich
Bayesian optimization in robot learning : automatic controller tuning and sample-efficient methods
A Validation Methodology for OCaml-to-PVS Translation
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automotive Software Engineering : Grundlagen, Prozesse, Methoden und Werkzeuge
Automatisierte Funktionsoptimierung von Adaptive Cruise Control