Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris. Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. In Ezio Bartocci, Rupak Majumdar, editors, Runtime Verification - 6th International Conference, RV 2015 Vienna, Austria, September 22-25, 2015. Proceedings. Volume 9333 of Lecture Notes in Computer Science, pages 275-280, Springer, 2015. [doi]

This author has not been identified. Look up 'Athanasios Naskos' in GoogleThis author has not been identified. Look up 'Emmanouela Stachtiari' in GoogleThis author has not been identified. Look up 'Panagiotis Katsaros' in GoogleThis author has not been identified. Look up 'Anastasios Gounaris' in Google

runs on WebDSL