Skip to Main content Skip to Navigation
Journal articles

Self-adaptive software needs quantitative verication at runtime

Résumé : None
Document type :
Journal articles
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download

https://hal.inria.fr/hal-00748130
Contributor : Hongyang Qu <>
Submitted on : Tuesday, December 4, 2012 - 7:31:01 PM
Last modification on : Wednesday, November 18, 2020 - 4:18:06 PM
Long-term archiving on: : Wednesday, March 6, 2013 - 4:55:09 PM

File

cacm-online.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00748130, version 2

Collections

Citation

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola. Self-adaptive software needs quantitative verication at runtime. Communications of the ACM, Association for Computing Machinery, 2012, 55 (9), pp.69-77. ⟨hal-00748130v2⟩

Share

Metrics

Record views

162

Files downloads

993