VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models - Archive ouverte HAL Access content directly
Conference Papers Year : 2009

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

(1) , (1) , (1)
1
Camille Salinesi
Centre de Recherche en Informatique de Paris 1
Colette Rolland
  • Function : Author
  • PersonId : 864300
Centre de Recherche en Informatique de Paris 1
Raul Mazo
Centre de Recherche en Informatique de Paris 1

Domains

Computer Science [cs] Software Engineering [cs.SE]

Camille Salinesi  : Connect in order to contact the contributor

https://hal-paris1.archives-ouvertes.fr/hal-00663459

Submitted on : Friday, January 27, 2012-11:00:35 AM

Last modification on : Friday, April 29, 2022-10:12:48 AM

Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-00663459 , version 1

Cite

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 Dublin Core DC Terms EndNote Datacite

Collections

UNIV-PARIS1 CRI
38 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More