
Probabilistic Approximation of Runtime Quantitative Verification in Self-Adaptive Systems
Nia, Mehran Alidoost, Kargahi, Mehdi, Faghih, FathiyehJournal:
Microprocessors and Microsystems
DOI:
10.1016/j.micpro.2019.102943
Date:
November, 2019
Fichier:
PDF, 2.19 MB
2019