Titre :
  • Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking
Auteur : Classen, Andreas ; Cordy, M. ; Schobbens, P.-Y. ; Heymans, P. ; Legay, Axel ; Raskin, Jean-François
Informations sur la publication : I E E E Transactions on Software Engineering, 39, 8, (page 1069-1089)
Statut de publication : Publié, 2013
Sujet CREF : Informatique générale
Langue :
  • Anglais
Identificateurs : urn:issn:0098-5589