[CGMS13]
Javier Camara, David Garlan, Gabriel Moreno and Bradley Schmerl.
Analyzing Self-adaptation Via Model Checking of Stochastic Games.
In Software Engineering for Self-Adaptive Systems, Springer.
2013.
[Describes an approach for the analysis of self-adaptive systems using PRISM-games.]
|
