Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications

Schobbens, Pierre Yves (Responsable du Projet)
BAINA, Salah (Chercheur)
Bontemps, Yves (Chercheur)
BROGNEAUX, ANNE-FRANCE (Chercheur)
Classen, Andreas (Chercheur)
Cleve, Anthony (Co-investigateur)
DETIENNE, Virginie (Chercheur)
Englebert, Vincent (Co-investigateur)
Faulkner, Stephane (Co-investigateur)
GENON, NICOLAS (Chercheur)
Habra, Naji (Co-investigateur)
Hainaut, Jean-Luc (Co-investigateur)
Heymans, Patrick (Co-investigateur)
HUBAUX, Arnaud (Chercheur)
Jureta, Ivan (Chercheur)
MATULEVICIUS, Raimundas (Chercheur)
Mayer, Nicolas (Chercheur)
OGER, Laura (Secrétaire)
Petit, Michael (Co-investigateur)
RAMDOYAL, Ravi (Chercheur)
SANDRON, Stephane (Chercheur)
SAVAL, Germain (Chercheur)
Toussaint, Hubert (Chercheur)
Trigaux, Jean-Christophe (Chercheur)
Vanderose, Benoit (Chercheur)
Zeippen, Jean-Marc (Chercheur)

Projet: Recherche

1 Article

1 résultats

2013
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 janv. 2013, Dans: IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.
Résultats de recherche: Contribution à un journal/une revue › Article › Revue par des pairs