Heterogeneous Verification of an Autonomous Curiosity Rover
In-Car-Computing : Tools und Techniken für Software-Systeme im Automobil
Agile Software-Produktlinienentwicklung im Kontext heterogener Projektlandschaften
Safe and Robust Automation of Aircraft and System Operation
A Validation Methodology for OCaml-to-PVS Translation
On the Usefulness of Clause Strengthening in Parallel SAT Solving
A coordination perspective of agility in automotive product development
Validating Machine Learning-based Highly Automated Driving Functions by Diversity
Design und Realisierung einer modularen Architektur für ein Fahrzeugentwurfssystem
Implementierung des Software-Prototyps einer Online-Frachtenbörse