Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems: A Formal Modeling and Simulation Based Approach.
https://doi.org/10.1109/QRS.2018.00020
@inproceedings{DBLP:conf/qrs/LiBPYJ18,
author = {Nianyu Li and
Di Bai and
Yiming Peng and
Zhuoqun Yang and
Wenpin Jiao},
title = {Verifying Stochastic Behaviors of Decentralized Self-Adaptive Systems:
{A} Formal Modeling and Simulation Based Approach},
booktitle = {2018 {IEEE} International Conference on Software Quality, Reliability
and Security, {QRS} 2018, Lisbon, Portugal, July 16-20, 2018},
pages = {67--74},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/QRS.2018.00020},
doi = {10.1109/QRS.2018.00020},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/qrs/LiBPYJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
本页面没有标签