|
[CGKM12]
Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska and Raffaela Mirandola.
Self-adaptive Software Needs Quantitative Verification at Runtime.
Communications of the ACM, 55(9), pages 69-77, ACM.
September 2012.
[pdf]
[bib]
[Describes a framework for quantitative runtime verification that incorporates PRISM.]
|
|
Downloads:
 pdf (564 KB)
 bib
|
|
Links:
[Google]
[Google Scholar]
|