par Classen, Andreas;Heymans, Patrick;Legay, Axel;Raskin, Jean-François
Référence Proceedings - International Conference on Software Engineering, page (335-344)
Publication Publié, 2010
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; Legay, Axel; Raskin, Jean-François
Informations sur la publication:Proceedings - International Conference on Software Engineering, page (335-344)
Statut de publication:Publié, 2010
Sujet CREF:Informatique mathématique
Note générale:International Conference Software Engineering 2010
Langue:Anglais
Identificateurs:urn:issn:0270-5257