A Survey of Statistical Model Checking
Agha, Gul, Palmskog, KarlVolume:
28
Language:
english
Journal:
ACM Transactions on Modeling and Computer Simulation
DOI:
10.1145/3158668
Date:
January, 2018
File:
PDF, 622 KB
english, 2018