Verification of Real-Time Systems using Statistical Model Checking
AIAA Infotech @ Aerospace
01.01.2015
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Verification of Real-Time Systems using Statistical Model Checking (AIAA 2015-1866)
British Library Conference Proceedings | 2015
|Statistical Model Checking for Scenario-Based Verification of ADAS
Springer Verlag | 2018
|Logic Model Checking of Time-Periodic Real-Time Systems
NTRS | 2012
|Logic Model Checking of Time-Periodic Real-Time Systems
AIAA | 2012
|