Towards Behavioural Model-Driven Validation of Software Product Lines

Devroey, Xavier;Cordy, Maxime;Perrouin, Gilles;Kang, Eun-Young;Baudry, Benoit;et.al.
(2012) 5th International Sympoisum on Leveraging Applications of Formal Methods (10.October.2012)

Files

No attached file found for this publication.

Details

Authors
  • Devroey, Xavier
    Author
  • Cordy, Maxime
    Author
  • Perrouin, Gilles
    Author
  • Kang, Eun-Young
    Author
  • Legay, AxelUCLouvain
    Author
  • Baudry, Benoit
    Author
Show more

Citations

  • APA
  • Chicago
  • FWB

Devroey, X., Cordy, M., Perrouin, G., Kang, E.-Y., Schobbens, P.-Y., Heymans, P., Legay, A., & Baudry, B. (2012). Towards Behavioural Model-Driven Validation of Software Product Lines. 5th International Sympoisum on Leveraging Applications of Formal Methods. https://hdl.handle.net/2078.5/173235