Verification of Real-Time Systems using Statistical Model Checking
AIAA Infotech @ Aerospace
2015-01-01
Conference paper
Electronic Resource
English
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
|