|
[CLGS14]
Javier Cámara, Antónia Lopes, David Garlan and Bradley Schmerl.
Impact Models for Architecture-Based Self-adaptive Systems.
In Proc. International Conference on Formal Aspects of Component Software (FACS'14), pages 89-107, Springer.
2014.
[Proposes techniques based on probabilistic impact model for self-adaptive systems, using PRISM an underlying solver.]
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|