# ASM-based formal design of an adaptivity component for a Cloud system

> Research article (Formal Aspects of Computing, 2016) · cited 22× · AI/ML

**Wikidata**: [openalex:W2339731235](https://www.wikidata.org/wiki/openalex:W2339731235)  
**Source**: https://4ort.xyz/entity/asm-based-formal-design-of-an-adaptivity-component-for-a-cloud-system