User menu

Accès à distance ? S'identifier sur le proxy UCLouvain

Search

Displaying 3 results.
    • Journal article
    Generating Counterexamples of Model-based Software Product Lines
    Ferreira Filho Joao, Bosco Barais, Olivier Acher, Mathieu Le Noir, Jérôme Legay, Axel[UCL] Baudry, Benoit (2014) Software Tools for Technology Transfer (STTT) —
    • Speech
    A Vision for Behavioural Model-Driven Validation of Software Product Lines
    Devroey, Xavier Cordy, Maxime Perrouin, Gilles Kang, Eun-Young Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] Baudry, Benoit (2012) International Symposium On Leveraging Applications of Formal Methods, Verification and Validation —
    • Speech
    Towards Behavioural Model-Driven Validation of Software Product Lines
    Devroey, Xavier Cordy, Maxime Perrouin, Gilles Kang, Eun-Young Schobbens, Pierre-Yves Heymans, Patrick Legay, Axel[UCL] Baudry, Benoit (2012) 5th International Sympoisum on Leveraging Applications of Formal Methods —