Verifying Non-Functional Properties of Software Product Lines: Towards an Efficient Approach Using Parametric Model Checking

• Autores: Carlo Ghezzi, Amir Molzam Sharifloo
• Localización: 15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany / coord. por Eduardo Almeida, Christa Schwanninger, Klaus Schmid, 2011, ISBN 9780769544878, págs. 170-174
• Idioma: inglés
• Texto completo no disponible (Saber más ...)