|
[NKA20]
Mehran Alidoost Nia, Mehdi Kargahi and Alessandro Abate.
Self-Adaptation with Imperfect Monitoring in Solar Energy Harvesting Systems.
In Proc. CSI/CPSSI International Symposium on Real-Time and Embedded Systems and Technologies (RTEST'20).
2020.
[Proposes model-driven techniques for analysing self-adaptive solar energy harvesting systems using PRISM as an underlying model checker.]
|
|
Links:
[Google]
[Google Scholar]
|