Formal Verification with Confidence Intervals to Establish Quality of Service Properties of Software Systems
Radu Calinescu, Carlo Ghezzi, Kenneth Harold Anthony Johnson, Mauro Pezze, Yasmeen Rafiq, Giordano Tamburrelli
Research output: Contribution to journal › Article › peer-review