Rapid Prototyping with TRAPPER in the PROMETHEUS Collision Avoidance
VALSE - Validation of Advanced Driver Assistance Systems
VALSE : VALidierung Sicherheitskompetenter Elektronischer Assistenz und Fahrfunktionen
Model-based semiautomatic safety analysis of programmable systems in automotive applications
Rapid prototyping with TRAPPER in the PROMETHEUS project collision avoidance
Systems Engineering von zeitgesteuerten Systemen - das SETTA Prozessmodell