A Generic Approach for Automated Verification of Product Line Models

  • Raul MAZO PENA

Thèse de l'étudiant: Doc typesDocteur en Sciences

Résumé

la date de réponse2011
langue originaleAnglais
SuperviseurPatrick HEYMANS (Jury)

Contient cette citation

A Generic Approach for Automated Verification of Product Line Models
MAZO PENA, R. (Auteur). 2011

Thèse de l'étudiant: Doc typesDocteur en Sciences