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

Point d'accès autorisé

Salaün, Gwen (1977-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : Français
Pays : France
Date de naissance :    1977
Genre : Masculin

Notes

Note publique d'information : 
Professeur à l'Université Grenoble Alpes (en 2021)

Note publique d'information : 
Auteur(e) d'une thèse de doctorat en informatique (Nantes, 2003)

Source

Contributions à l'intégration de langages pour la spécification formelle et la vérification de systèmes complexes / Gwen Salaün ; sous la dir. de Mourad Oussalah, 2003. - Thèse de doctorat : Informatique : Nantes : 2003

Formal methods for industrial critical systems: 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011: proceedings / Gwen Salaün, Bernhard Schätz (eds.), 2011

Information trouvée : Grenoble INP - INRIA - LIG, Montbonnot Saint-Martin (2011)

La synchronisabilité pour les systèmes distribués / Laetitia Laversa ; sous la direction de Etienne Lozes. Thèse de doctorat : Informatique : Université Côte d'Azur : 2021

Information trouvée : rapporteur de thèse, membre du jury

Spécifications multiformalismes / Gwen Salaün [Mémoire DEA]

Information trouvée : Titulaire d'un mémoire de DEA d'informatique (Nantes, 2000)

Autres identifiants

Identifiant de notice Sudoc fusionnée : 156507072
Identifiant VIAF : http://viaf.org/viaf/217164416
Identifiant ISNI : 0000000359429357

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 : ...