# Dependable Horizontal Scaling Based on Probabilistic Model Checking

> Research article (2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 2015) · cited 56× · AI/ML

**Wikidata**: [openalex:W1667182463](https://www.wikidata.org/wiki/openalex:W1667182463)  
**Source**: https://4ort.xyz/entity/dependable-horizontal-scaling-based-on-probabilistic-model-checking