Login / Signup

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

Nianyu LiDi BaiYiming PengZhuoqun YangWenpin Jiao
Published in: QRS (2018)
Keyphrases