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
Safe and Robust Automation of Aircraft and System Operation
On the Usefulness of Clause Strengthening in Parallel SAT Solving
A Validation Methodology for OCaml-to-PVS Translation
Specification of Distributed Computing for Small Satellite Control
Composable Coordination for Service Robots: A Model-Driven Approach