Eine agile Methode zur simulativen Qualitätssicherung von aktiven Sicherheitssystemen
Testing the Safe Behavior of Unmanned Aerial Vehicles with Scenario-Based Testing
Systematic derivation of feature-driven and risk-based test strategies for automotive applications
Model-based testing of real-time embedded systems in the automotive domain
Entwicklungs- und Testunterstützung für Steuergeräte mit AUTOSAR Architektur
Automatisiertes Test- und Evaluierungsframework für die Servicerobotik
Eine generische Methode zur optimierten Absicherung und Freigabe von Fahrwerkfunktionen
Specification and verification of embedded real-time systems in the automotive domain
Specification and verification of embedded real-time systems in the automotive domain
Improving the quality of automotive test case specifications
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Methodisches und automatisiertes Testen von Kfz-Steuergeräte-Software
Petri-Netz basierte Verifikation von funktionalen Testfällen
Assistenzsystem zum Test von Software im Fahrzeugfahrversuch für elektromechanische Lenksysteme