AJAMI Khalil
رئاسـة البـحث : Claude GIRAULT
تأطـير مـشـترك : ILIÉ Jean-Michel
La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries
La vérification des systèmes concurrents : une approche fondée sur l’exploitation des symétries
مناقـشـة مـذكـرة : 03/07/2000
أعـضاء لجنة المناقـشة :
Berthelot Gérard(CNAM) [Rapporteur Président]
Haddad Serge(LAMSADE Dauphine) [Rapporteur]
Girault Claude(LIP6)
Ilié Jean- Michel(IUT Paris V)
Chehaibar Ghassan(BULL SERVERS)
Franceschinis Giuliana(Université de Turin)