A Statistical Model Checker for Nondeterminism and Rare Events

Title A Statistical Model Checker for Nondeterminism and Rare Events
Author
Carlos Budde
Pedro D'Argenio
Arnd Hartmanns
Sean Sedwards
Year of Conference
2018
Volume
10806
Number of Pages
340\textendash358
URL
https://link.springer.com/chapter/10.1007/978-3-319-89963-3_20
Download citation