Raúl Mazo (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

3 Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland: Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. RE 2009: 375-376

2 Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo: Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. RE 2009: 385-386

1 Camille Salinesi, Colette Rolland, Raúl Mazo: VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. VaMoS 2009: 173-176

Selection of 3 from 11 records - Raúl Mazo has 10 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

3		Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland: Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. RE 2009: 375-376
2		Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo: Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. RE 2009: 385-386
1		Camille Salinesi, Colette Rolland, Raúl Mazo: VMWare: Tool Support for Automatic Verification of Structural and Semantic Correctness in Product Line Models. VaMoS 2009: 173-176