Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach.

Nianyu Li, Di Bai, Yiming Peng, Zhuoqun Yang, Wenpin Jiao

Browse the full QRS paper archive.