Radu Calinescu, Kenneth Johnson, Yasmin Rafiq, Simos Gerasimou, Gabriel Costa Silva, Stanimir N. Pehlivanov. Continual Verification of Non-Functional Properties in Cloud-Based Systems. In Simona Bernardi, Marko Boskovic, José Merseguer, editors, Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, Languages and Processes co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013. Volume 1074 of CEUR Workshop Proceedings, pages 1-5, CEUR-WS.org, 2013. [doi]
Abstract is missing.