Computing Response Time Distributions Using Iterative Probabilistic Model Checking

TitleComputing Response Time Distributions Using Iterative Probabilistic Model Checking
Publication TypeConference Paper
Year of Publication2015
Authorsvan den Berg, F, Hooman, J, Hartmanns, A, Haverkort, BR, Remke, A
Conference NameComputer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings
URLhttp://dx.doi.org/10.1007/978-3-319-23267-6_14
DOI10.1007/978-3-319-23267-6_14
Work Package: 
WP1