Zavattaro, Gianluigi

Zavattaro, Gianluigi

Paprika

Export bibliographique

Identifiant IdRef : 176891951

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

Informations sur la notice

Identifiant de la notice : 176891951

Créateur de la notice : 914712101

Création : 12-03-2014

Dernier modificateur de la notice : 384219701

Dernière modification : 30-08-2021 à 12 h 28

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