Simulation and Statistical Model Checking for Modestly Nondeterministic Models
| Title | Simulation and Statistical Model Checking for Modestly Nondeterministic Models |
| Publication Type | Conference Paper |
| Year of Publication | 2012 |
| Authors | Bogdoll, J, Hartmanns, A, Hermanns, H |
| Conference Name | Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance |
| Publisher | Springer Berlin / Heidelberg |
| ISBN Number | 978-3-642-28539-4 |
| URL | http://dx.doi.org/10.1007/978-3-642-28540-0_20 |
| DOI | 10.1007/978-3-642-28540-0_20 |
Work Package:
WP1
