Simulation-Based Abstractions for Software Product-Line Model Checking

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

29 Downloads (Pure)
langue originaleAnglais
titreProceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9
EditeurIEEE
Volume672-682
étatPublié - 2012

Citer ceci

Cordy, M., Classen, A., Perrouin, G., Heymans, P., Schobbens, P-Y., & Legay, A. (2012). Simulation-Based Abstractions for Software Product-Line Model Checking. Dans Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9 (Vol 672-682). IEEE.
Cordy, Maxime ; Classen, Andreas ; Perrouin, Gilles ; Heymans, Patrick ; Schobbens, Pierre-Yves ; Legay, Axel. / Simulation-Based Abstractions for Software Product-Line Model Checking. Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. Vol 672-682 IEEE, 2012.
@inproceedings{925ea09b7dbc4f868759d5bd9679bd0e,
title = "Simulation-Based Abstractions for Software Product-Line Model Checking",
author = "Maxime Cordy and Andreas Classen and Gilles Perrouin and Patrick Heymans and Pierre-Yves Schobbens and Axel Legay",
year = "2012",
language = "English",
volume = "672-682",
booktitle = "Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9",
publisher = "IEEE",

}

Cordy, M, Classen, A, Perrouin, G, Heymans, P, Schobbens, P-Y & Legay, A 2012, Simulation-Based Abstractions for Software Product-Line Model Checking. Dans Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. VOL. 672-682, IEEE.

Simulation-Based Abstractions for Software Product-Line Model Checking. / Cordy, Maxime; Classen, Andreas; Perrouin, Gilles; Heymans, Patrick; Schobbens, Pierre-Yves; Legay, Axel.

Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. Vol 672-682 IEEE, 2012.

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

TY - GEN

T1 - Simulation-Based Abstractions for Software Product-Line Model Checking

AU - Cordy, Maxime

AU - Classen, Andreas

AU - Perrouin, Gilles

AU - Heymans, Patrick

AU - Schobbens, Pierre-Yves

AU - Legay, Axel

PY - 2012

Y1 - 2012

M3 - Conference contribution

VL - 672-682

BT - Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9

PB - IEEE

ER -

Cordy M, Classen A, Perrouin G, Heymans P, Schobbens P-Y, Legay A. Simulation-Based Abstractions for Software Product-Line Model Checking. Dans Proceedings of the 34th International Conference on Software Engineering (ICSE 2012), Zurich, Switzerland, June 2-9. Vol 672-682. IEEE. 2012