paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Paprika
Export bibliographique
Exporter en XML
Exporter en RDF
Améliorer la notice
Signaler une erreur
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

Informations sur la notice

Identifiant de la notice : 069135029
Créateur de la notice : 441092104
Création : 12-12-2002
Dernier modificateur de la notice : 384212103
Dernière modification : 02-05-2022 à 11 h 03

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