Article révisé par les pairs
Titre:
  • Model checking lots of systems: Efficient verification of temporal properties in software product lines
Auteur:Classen, Andreas; Heymans, Patrick; Schobbens, Pierre-Yves; Legay, Axel; Raskin, Jean-François
Informations sur la publication:Proceedings - International Conference on Software Engineering, 1, page (335-344)
Statut de publication:Publié, 2010
Sujet CREF:Informatique appliquée logiciel
Mots-clés:features
software product lines
specification
Note générale:SCOPUS: cp.p
Langue:Anglais
Identificateurs:urn:issn:0270-5257
info:doi/10.1145/1806799.1806850
info:scp/77954715140