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
On the Usefulness of Clause Strengthening in Parallel SAT Solving
Specification of Distributed Computing for Small Satellite Control
Composable Coordination for Service Robots: A Model-Driven Approach