Conference Papers
Year : 2009
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
Dates and versions
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
45
View
0
Download