paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 076035085Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Méry, Dominique

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
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'un doctorat de 3ème cycle en informatique, Institut National Polytechnique de Lorraine (1983)

Source

Automated Deduction and Proof Certification for the B Method / Pierre Halmagrand, 2016. Thèse de doctorat : Informatique : Paris, CNAM : 2016

Information trouvée : Professeur des Universités, Université de Lorraine

Modélisation des systèmes réactifs : actes de MSR 2003, 6-8 octobre 2003, ENIM, Metz, France / sous la dir. de Dominique Méry, Nidhal Rezg, Xiaolan Xie, 2003

Une méthode axiomatique de preuve de propriétés de fatalité de programmes parallèles avec hypothèse d'exécution équitable / par Dominique Méry, 1983 [thèse]

Identifiants externes

Identifiant HAL : dominiquemery
Identifiant ORCID : 0000-0001-5231-6611
Identifiant VIAF : http://viaf.org/viaf/127448349
Identifiant ISNI : 0000000106587111

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

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