autore : Radu Calinescu
1
pubblicazione
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