Absicherung sicherheitskritischer Assistenzsysteme — Durchgängig und nachvoliziehbar
Durchgaengig absichern - Testumgebung fuer sicherheitskritische Fahrerassistenzsysteme
2004-01-0708 Development of Safety-Critical Software Using Automatic Code Generation
Hardware-in-the-Loop Testing in the Context of ISO 26262
Real-time simulation of adaptive suspension control using dSPACE control development tools
2004-01-1593 Model-Based Testing Of Embedded Automotive Software Using Mtest