Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata
https://hal-paris1.archives-ouvertes.fr/hal-00663459
Contributor : Camille Salinesi Connect in order to contact the contributor
Submitted on : Friday, January 27, 2012 - 11:00:35 AM
Last modification on : Friday, April 29, 2022 - 10:12:48 AM

Identifiers

  • HAL Id : hal-00663459, version 1

Collections

UNIV-PARIS1 | CRI

Citation

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

33