]
]
]
]
Membre du personnel
Hubert TOUSSAINT
Doctorats en cours
- Modèle et vérification formels des politiques de contrôle d'accès (Th-HTO)
(2011)
Luc CLAES, Hubert TOUSSAINT
Anciens projets
- Questions fondamentales en ingénierie du logiciel: modélisation, vérification et évolution des applications (MoVES)
(2007-2011)
Salah BAINA, Yves BONTEMPS, Anne-France BROGNEAUX, Andreas CLASSEN, Gaetan DELANNAY, Virginie DETIENNE, Vincent ENGLEBERT, Stephane FAULKNER, Nicolas GENON, Naji HABRA, Jean-Luc HAINAUT, Arnaud HUBAUX, Ivan JURETA, Raimundas MATULEVICIUS, Nicolas MAYER, Laura OGER, Michaël PETIT, Ravi RAMDOYAL, Stéphane SANDRON, Germain SAVAL, Hubert TOUSSAINT, Jean-Christophe TRIGAUX, Benoît VANDEROSE, Jean-Marc ZEIPPEN, Patrick HEYMANS, Pierre-Yves SCHOBBENS, Anthony CLEVE
