# Model based verification of dynamically evolvable service oriented systems

> Research article (Science China Information Sciences, 2016) · cited 10× · AI/ML

**Wikidata**: [openalex:W2255781346](https://www.wikidata.org/wiki/openalex:W2255781346)  
**Source**: https://4ort.xyz/entity/model-based-verification-of-dynamically-evolvable-service-oriented-systems