Continual Verification of Non-Functional Properties in Cloud-Based Systems.

Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov

Browse the full MODELS paper archive.