Self-adaptive software needs quantitative veri cation at runtime - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Communications of the ACM Année : 2012

Self-adaptive software needs quantitative veri cation at runtime

Résumé

None

Domaines

Informatique
Fichier principal
Vignette du fichier
qv-runtime2012.pdf (286.16 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Hongyang Qu  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00748130

Soumis le : dimanche 4 novembre 2012-19:57:08

Dernière modification le : mardi 31 octobre 2023-09:54:05

Archivage à long terme le : mardi 5 février 2013-03:38:36

Télécharger pour visualiser

Dates et versions

hal-00748130 , version 1 (04-11-2012)
hal-00748130 , version 2 (04-12-2012)

Identifiants

  • HAL Id : hal-00748130 , version 1

Citer

Radu Calinescu, Carlo Ghezzi, Marta Kwiatkowska, Raffaela Mirandola. Self-adaptive software needs quantitative veri cation at runtime. Communications of the ACM, 2012, 55 (9), pp.69-77. ⟨hal-00748130v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
66 Consultations
1097 Téléchargements

Partager

Gmail Facebook X LinkedIn More