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

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⟩

Collections

UNIV-PARIS1 CRI
45 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More