Using quantitative analysis to implement autonomic IT systems.

Radu Calinescu, Marta Z. Kwiatkowska

Browse the full ICSE paper archive.