Identifiant pérenne de la notice : 223332569
Notice de type
Personne
Formal framework for modelling and verifying globally asynchronous locally synchronous
systems / Fatma Jebali ; sous la direction de Radu Mateescu et Frédéric Lang. Thèse
de doctorat : Informatique : Grenoble Alpes : 2016
Information trouvée : Professeur à l'Université de Florence (IT)
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