[CMG14]
Javier Cámara, Gabriel A. Moreno and David Garlan.
Stochastic Game Analysis and Latency Awareness for Proactive Self-Adaptation.
In Proc. 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'14), pages 155-164, ACM.
2014.
[Uses PRISM-games to analyse adaptation tactic latency in self-adaptive systems.]
|
Links:
[Google]
[Google Scholar]
|