• Citer

Featured transition systems: Foundations for verifying variability- intensive systems and their application to LTL model checking

par Classen, Andreas;Cordy, M.;Schobbens, P.-Y.;Heymans, P.;Legay, Axel;Raskin, Jean-François
Référence I E E E Transactions on Software Engineering, 39, 8, page (1069-1089)
Publication Publié, 2013

Article révisé par les pairs

• Détails

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