https://hal.inria.fr/hal-00748130
Contributeur : Hongyang Qu
<>
Soumis le : mardi 4 décembre 2012 - 19:31:01
Dernière modification le : samedi 11 novembre 2017 - 19:04:02
Document(s) archivé(s) le : mercredi 6 mars 2013 - 16:55:09
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola. Self-adaptive software needs quantitative verication at runtime. Communications of the ACM, ACM, 2012, 55 (9), pp.69-77. 〈hal-00748130v2〉
