Computing Response Time Distributions Using Iterative Probabilistic Model Checking
| Title | Computing Response Time Distributions Using Iterative Probabilistic Model Checking |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | van den Berg, F, Hooman, J, Hartmanns, A, Haverkort, BR, Remke, A |
| Conference Name | Computer Performance Engineering - 12th European Workshop, {EPEW} 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings |
| URL | http://dx.doi.org/10.1007/978-3-319-23267-6_14 |
| DOI | 10.1007/978-3-319-23267-6_14 |
Work Package:
WP1
