Behavioural modelling and verification of real-time software product lines

• Autores: Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
• Localización: 16th International Software Product Line Conference, SPLC´12 / coord. por Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, Vol. 1, 2012, ISBN 9781450310949, págs. 66-75
• Idioma: inglés
• Texto completo no disponible (Saber más ...)