author : Raffaela Mirandola
1
publication
Self-adaptive software needs quantitative verification at runtime (Communications of the ACM, 2012) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola Self-adaptive software needs quantitative verification at runtime (Communications of the ACM, 2012) — Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola