Items where authors include "Rafiq, Yasmeen"

Article

Calinescu, Radu orcid.org/0000-0002-2678-9260, Ghezzi, Carlo, Johnson, Kenneth Harold Anthony et al. (3 more authors) (2015) Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems. IEEE Transactions on Reliability. pp. 107-125. ISSN 0018-9529