JAUME Mathieu
Descriptions formelles : Comprendre, Corriger, Implanter, Résutiliser. Application au contrôle d'accès
Defence : 11/06/2008 - 15h - Site Jussieu 55-65/211
Jury members :
Hélène Kirchner (INRIA Bordeaux) [Rapporteur]
César Munoz (National Institute of Aerospace) [Rapporteur]
Luca Vigano (Università di Verona - Italie) [Rapporteur]
Irène Guessarian (LIAFA)
Thérèse Hardin (SPI - LIP6 - UPMC)
Ludovic Mé (Supelec Rennes), Isabelle Simplot-Ryl (Université Lille 1)