Symbolic Model Checking of Software Product Lines

Andreas Classen; Patrick Heymans; Pierre-Yves Schobbens; Axel Legay

Symbolic Model Checking of Software Product Lines

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

185 Téléchargements (Pure)

langue originale	Anglais
titre	33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings
Editeur	ACM Press
Pages	321-330
Nombre de pages	10
Etat de la publication	Publié - 2011

Accès au document

70973manuscrit soumis, 904 KB

Evolution: PReCISE Evolution
Cleve, A.
1/01/10 → 31/01/10
Projet: Axe de recherche

Contient cette citation

@inproceedings{4605f5a9d8504565bc116994f100fb3c,

title = "Symbolic Model Checking of Software Product Lines",

author = "Andreas Classen and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",

year = "2011",

language = "English",

pages = "321--330",

booktitle = "33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings",

publisher = "ACM Press",

address = "United States",

}

Symbolic Model Checking of Software Product Lines. / Classen, Andreas; Heymans, Patrick ; Schobbens, Pierre-Yves et al.
33rd International Conference on Software Engineering, ICSE 2011, May 21-28, 2011, Waikiki, Honolulu, Hawaii, Proceedings. ACM Press, 2011. p. 321-330.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Symbolic Model Checking of Software Product Lines

Accès au document

Projets

Evolution: PReCISE Evolution

Contient cette citation