|
[NKF20]
Mehran Alidoost Nia, Mehdi Kargahi and Fathiyeh Faghiha.
Probabilistic approximation of runtime quantitative verification in self-adaptive systems.
Microprocessors and Microsystems, 72.
2020.
[Proposes approximate verification techniques for self-adaptive systems, using an extension of PRISM as an underlying model checker.]
|
|
Links:
[Google]
[Google Scholar]
|