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

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

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〉

Partager

Métriques

Consultations de la notice

49