Safe software development for a video-based train detection system in accordance with EN 50128
Timing Verifikation von AUTOSAR Softwarearchitekturen
Building secure cars : assuring the automotive software development lifecycle
Building secure cars : assuring the automotive software development lifecycle
A Validation Methodology for OCaml-to-PVS Translation
Safe and Robust Automation of Aircraft and System Operation
Specification of Distributed Computing for Small Satellite Control
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Heterogeneous Verification of an Autonomous Curiosity Rover
Composable Coordination for Service Robots: A Model-Driven Approach
Validating Machine Learning-based Highly Automated Driving Functions by Diversity
A coordination perspective of agility in automotive product development
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Forms 2000 - Formale Techniken für die Eisenbahnsicherung
Simulation und Test für die Automobilelektronik IV
Bayesian optimization in robot learning : automatic controller tuning and sample-efficient methods
Practical application of model-based software design for automotive
TOYOTA MBD initiatives for engine control design