Model checking lots of systems: Efficient verification of temporal properties in software product lines

Référence Proceedings - International Conference on Software Engineering, 1, 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; 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

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.