|
[NSKG15]
Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros and Anastasios Gounaris.
Probabilistic model checking at runtime for the provisioning of cloud resources.
In Proc. 6th International Conference on Runtime Verification (RV'15).
2015.
[Presents a model-driven approach for the dynamic cloud provisioning using probabilistic model checking and PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|