[RCC19]
Nelson S. Rosa, Gláucia M. M. Campos and David J.M. Cavalcanti.
Lightweight formalisation of adaptive middleware.
Journal of Systems Architecture.
2019.
[Proposes an approach to developing adaptive middleware that integrates PRISM for performing probabilistic verification.]
|
