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

Point d'accès autorisé

Merz, Stephan

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,Anglais
Pays : France
Genre : Masculin

Notes

Note publique d'information : 
En poste au Laboratoire lorrain de recherche en informatique et ses applications, Nancy (en 2006)

Note publique d'information : 
Directeur de Recherche à l'Institut national de recherche en sciences et technologies du numérique (INRIA), Examinateur de thèse (en 2016)

Source

Abstractions booléennes pour la vérification des systèmes temps-réel / Eun-Young Kang ; sous la direction de Stephan Merz, 2007

Aide à la vérification de programmes concurrents par transformation de code et de spécifications / Allan BLANCHARD; sous la direction de Frédéric LOULERGUE, membre du jury et examinateur de thèse Stephan MERZ, président du jury Sébastien LIMET. Thèse de doctorat : Informatique : Orléans : 2016

Information trouvée : Directeur de Recherche à l'Institut national de recherche en sciences et technologies du numérique (INRIA), Examinateur de thèse (en 2016)

Internet, http://catalogue.bnf.fr/, 2008-03-21

Autres identifiants

Identifiant HAL : stephan-merz
Identifiant ORCID : 0000-0003-0974-1844
Identifiant VIAF : http://viaf.org/viaf/12602569
Identifiant ISNI : 000000005522706X

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