Devroey, X ;
Cordy, M ;
Perrouin, G...
Devroey , X , Cordy , M , Perrouin , G , Kang , E-Y , Schobbens , P-Y , Heymans , P , Legay , A & Baudry , B 2012 , A vision for behavioural model-driven validation of software product lines . in Proceedings of the 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) . vol. 7609 LNCS , pp. 208-222 , The 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2012) , Heraclion , Greece , 10/10/12 . https://doi.org/10.1007/978-3-642-34026-0_16.
,
2012