Validating Machine Learning-based Highly Automated Driving Functions by Diversity
TOYOTA MBD initiatives for engine control design
Timing Verifikation von AUTOSAR Softwarearchitekturen
Specification of Distributed Computing for Small Satellite Control
Simulation und Test für die Automobilelektronik IV
Safe software development for a video-based train detection system in accordance with EN 50128
Safe and Robust Automation of Aircraft and System Operation
Practical application of model-based software design for automotive
On the Usefulness of Clause Strengthening in Parallel SAT Solving