|
[CGB15]
Radu Calinescu, Simos Gerasimou and Alec Banks.
Self-Adaptive Software with Decentralised Control Loops.
In Proc. 18th International Conference on Fundamental Approaches to Software Engineering (FASE'15).
2015.
[Presents an approach for decentralised control of self-adaptive systems, using PRISM as an underlying model checker.]
|
|
Links:
[Google]
[Google Scholar]
|