paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 176891951Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Zavattaro, Gianluigi
Nom à l'état civil

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)

Notes

Note publique d'information : 
Professeur à Alma Mater Studiorum, Université de Bologne au département d'informatique

Source

A symbolic approach for the verification and the test of service choreographies / par Hữu Nghĩa Nguyễn ; sous la direction de Fatiha Zaïdi et de Pascal Poizat, Université Paris-Sud, 2013 [thèse d'Informatique]

Information trouvée : Membre du jury

Graphes de localités : une approche formelle à l'encapsulation et implémentation / Martin Vassor ; sous la direction de Jean-Bernard Stefani. Thèse de doctorat : Informatique : Université Grenoble Alpes : 2021

Information trouvée : Rapporteur

Autres identifiants

Identifiant VIAF : http://viaf.org/viaf/246807994
Identifiant ORCID : 0000-0003-3313-6409
Identifiant ISNI : 0000000385675156

Utilisation dans Rameau

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

Equivalent dans un autre référentiel

... Références liées : ...