Résultat de recherche

Résultat de recherche par an 2011 2012 2013 2014 2015 2023

• 29 Article dans les actes d'une conférence/un colloque
• 6 Autre contribution
• 5 Chapitre
• 5 Article
• 6 Afficher plus d’informations
  • 3 Papier
  • 1 Avant-propos/Préface/post-scriptum
  • 1 Chapitre (revu par des pairs)
  • 1 Poster

Résultat de recherche par an

Résultat de recherche par an

Résultats de recherche

• 2011

  SNIP: An Efficient Model Checker for Software Product Lines

  Classen, A., Cordy, M., Heymans, P., Schobbens, P.-Y. & Legay, A., 2011

  Résultats de recherche: Autre contribution

  File
  298 Téléchargements (Pure)