Self-adaptive software needs quantitative verication at runtime

Résumé : None
Type de document :
Article dans une revue
Communications of the ACM, ACM, 2012, 55 (9), pp.69-77
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00748130
Contributeur : Hongyang Qu <>
Soumis le : mardi 4 décembre 2012 - 19:31:01
Dernière modification le : samedi 11 novembre 2017 - 19:04:02
Document(s) archivé(s) le : mercredi 6 mars 2013 - 16:55:09

Fichier

cacm-online.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • 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, ACM, 2012, 55 (9), pp.69-77. 〈hal-00748130v2〉

Partager

Métriques

Consultations de la notice

102

Téléchargements de fichiers

407