Simulation and Statistical Model Checking for Modestly Nondeterministic Models

TitleSimulation and Statistical Model Checking for Modestly Nondeterministic Models
Publication TypeConference Paper
Year of Publication2012
AuthorsBogdoll, J, Hartmanns, A, Hermanns, H
Conference NameMeasurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
PublisherSpringer Berlin / Heidelberg
ISBN Number978-3-642-28539-4
URLhttp://dx.doi.org/10.1007/978-3-642-28540-0_20
DOI10.1007/978-3-642-28540-0_20
Work Package: 
WP1