https://hal.inria.fr/hal-00748130 Contributor : Hongyang QuConnect in order to contact the contributor Submitted on : Tuesday, December 4, 2012 - 7:31:01 PM Last modification on : Wednesday, November 18, 2020 - 4:18:06 PM Long-term archiving on: : Wednesday, March 6, 2013 - 4:55:09 PM
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola. Self-adaptive software needs quantitative verication at runtime. Communications of the ACM, Association for Computing Machinery, 2012, 55 (9), pp.69-77. ⟨hal-00748130v2⟩