Oxford logo
[CGKM12] R. Calinescu, C. Ghezzi, M. Kwiatkowska and R. Mirandola. Self-adaptive Software Needs Quantitative Verification at Runtime. Communications of the ACM, 55(9), pages 69-77, ACM. September 2012. [pdf] [bib]
Downloads:  pdf pdf (564 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications