Self-adaptive software needs quantitative verification at runtime

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola

Research output: Contribution to journalArticlepeer-review

Original languageEnglish
Pages (from-to)69-77
Number of pages9
JournalCommunications of the ACM
Issue number9
Publication statusPublished - 1 Sept 2012

Bibliographical note

Google Scholar citations on 17 October 2012: 2

Cite this