VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models - Université Paris 1 Panthéon-Sorbonne
Communication Dans Un Congrès Année : 2009

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

Camille Salinesi
Centre de Recherche en Informatique de Paris 1
Colette Rolland
  • Fonction : Auteur
  • PersonId : 864300
  • IdRef : 027106683
Centre de Recherche en Informatique de Paris 1
Raul Mazo
Centre de Recherche en Informatique de Paris 1

Domaines

Génie logiciel [cs.SE]

Camille Salinesi  : Connectez-vous pour contacter le contributeur

https://paris1.hal.science/hal-00663459

Soumis le : vendredi 27 janvier 2012-11:00:35

Dernière modification le : jeudi 6 avril 2023-10:54:11

Fichier non déposé

Dates et versions

hal-00663459 , version 1 (27-01-2012)

Identifiants

  • HAL Id : hal-00663459 , version 1

Citer

Camille Salinesi, Colette Rolland, Raul Mazo. VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. International Workshop on Variability Modelling of Software-intensive Systems, Jan 2009, Seville, Spain. pp.173-176. ⟨hal-00663459⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS1 CRI
57 Consultations
0 Téléchargements

Partager

More