Home
•
News
•
Case Studies
•
People
•
Publications
[CGKM12]
R. Calinescu, C. Ghezzi, M. Kwiatkowska and R. Mirandola.
Self-adaptive Software Needs Quantitative Verification at Runtime.
Communications of the ACM
, 55(9), pages 69-77, ACM.
September
2012.
[
pdf
] [
bib
]
Downloads:
pdf
(564 KB)
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]