[NKA21]
Mehran Alidoost Nia, Mehdi Kargahi and Alessandro Abate.
Resilient Monitoring in Self-Adaptive Systems through Behavioral Parameter Estimation.
Journal of Systems Architecture.
2021.
[Presents model-based techniques for self-adaptive systems, using PRISM for model verification.]
|
