VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models

Camille Salinesi 1 Colette Rolland 1 Raul Mazo 1
1 CRI - Centre de Recherche en Informatique de Paris 1
Type de document :
Communication dans un congrès
Universität Duisburg-Essen. International Workshop on Variability Modelling of Software-intensive Systems, Jan 2009, Seville, Spain. ICB Research Report, 29, pp.173-176, 2009
Liste complète des métadonnées
https://hal-paris1.archives-ouvertes.fr/hal-00663459
Contributeur : Camille Salinesi <>
Soumis le : vendredi 27 janvier 2012 - 11:00:35
Dernière modification le : vendredi 27 janvier 2012 - 11:12:08

Identifiants

  • HAL Id : hal-00663459, version 1

Collections

CRI | UNIV-PARIS1

Citation

Camille Salinesi, Colette Rolland, Raul Mazo. VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. Universität Duisburg-Essen. International Workshop on Variability Modelling of Software-intensive Systems, Jan 2009, Seville, Spain. ICB Research Report, 29, pp.173-176, 2009. 〈hal-00663459〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

43

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD