Radu Calinescu, Carlo Ghezzi, Kenneth Johnson, Mauro Pezzè, Yasmin Rafiq, Giordano Tamburrelli. Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Transactions on Reliability, 65(1):107-125, 2016. [doi]
@article{CalinescuGJPRT16,
title = {Formal Verification With Confidence Intervals to Establish Quality of Service Properties of Software Systems},
author = {Radu Calinescu and Carlo Ghezzi and Kenneth Johnson and Mauro Pezzè and Yasmin Rafiq and Giordano Tamburrelli},
year = {2016},
doi = {10.1109/TR.2015.2452931},
url = {http://dx.doi.org/10.1109/TR.2015.2452931},
researchr = {https://researchr.org/publication/CalinescuGJPRT16},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Reliability},
volume = {65},
number = {1},
pages = {107-125},
}