Self-adaptive software needs quantitative verication 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 verication at runtime

Résumé

None

Domaines

Informatique
Fichier principal
Vignette du fichier
cacm-online.pdf (288 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 : mardi 4 décembre 2012-19:31:01

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

Archivage à long terme le : mercredi 6 mars 2013-16:55:09

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 2

Citer

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

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CONNECT
66 Consultations
1097 Téléchargements

Partager

Gmail Facebook X LinkedIn More