# Formal Quality of Service assurances, ranking and verification of cloud deployment options with a probabilistic model checking method

> Research article (Information and Software Technology, 2019) · cited 36× · AI/ML

**Wikidata**: [openalex:W2910509684](https://www.wikidata.org/wiki/openalex:W2910509684)  
**Source**: https://4ort.xyz/entity/formal-quality-of-service-assurances-ranking-and-verification-of-cloud-deployment-options-with-a-probabilistic-model-che