TY  - RPRT
TI  - Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach
AU  - Nianyu Li
AU  - Di Bai
AU  - Zhuoqun Yang
AU  - Wenpin Jiao
PY  - 2017
UR  - https://arxiv.org/abs/1706.08271
ID  - 1706.08271
ER  -