Mehran Alidoost Nia, Mehdi Kargahi, Fathiyeh Faghih. Probabilistic approximation of runtime quantitative verification in self-adaptive systems. Microprocessors and Microsystems, 72, 2020. [doi]
@article{NiaKF20,
title = {Probabilistic approximation of runtime quantitative verification in self-adaptive systems},
author = {Mehran Alidoost Nia and Mehdi Kargahi and Fathiyeh Faghih},
year = {2020},
doi = {10.1016/j.micpro.2019.102943},
url = {https://doi.org/10.1016/j.micpro.2019.102943},
researchr = {https://researchr.org/publication/NiaKF20},
cites = {0},
citedby = {0},
journal = {Microprocessors and Microsystems},
volume = {72},
}