Identifiant pérenne de la notice : 060908661
Notice de type
Personne
Formal methods for distributed real-time systems / Mahieddine Dellabani ; sous la
direction de Saddek Bensalem et coencadrée par Jacques Combaz. These de doctorat :
Informatique : Grenoble Alpes : 2018
Information trouvée : Professeur à l'Université Paris 7
Théorie algébrique des langages formels temps réel [thèse 2001] / Catalin Dima
https://www.irif.fr/~asarin/, 2019-03-22
Information trouvée : professeur à l'Université Paris Diderot - Paris 7 et membre de l'Institut de Recherche
en Informatique Fondamentale (IRIF - UMR 8243)