Identifiant pérenne de la notice : 074481525
Notice de type
Personne
Internet, http://www-verimag.imag.fr/~maler/, 2018-01-15
Information trouvée : néle 21/02/1957 à Haifa. Ph.D. thesis :"Finite Automata: Infinite Behavior, Learnability
and Decomposition", Weizmann Institute, Rehovot, 1989 . En poste: IRISA Rennes, puis
Grenoble INPG (1992). Directeur de recherche CNRS (2001)
Sur l'analyse temporisée de systèmes de grande taille [Thèse 2007]/Ramzi Ben Salah
Sur la vérification de la satisfaction pour la logique des différences [thèse 2003]
/ Moez Mahfoudh
Test des systemes hybrides [Thèse 2007]/Tarik Nahhal
Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial