Méry, Dominique (19..-.... ; enseignant-chercheur en informatique)

Méry, Dominique (19..-.... ; enseignant-chercheur en informatique)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 076035085

URI de l'entité : http://www.idref.fr/076035085/id

Notice de type Personne

Point d'accès autorisé

Méry, Dominique (19..-.... ; enseignant-chercheur en informatique)

Sur le web

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 3e cycle en informatique, Institut National Polytechnique de Lorraine (1983)

Affiliation institutionnelle

Membre de Université de Lorraine (2012-....) (en 2024)

Membre de Laboratoire lorrain de recherche en informatique et ses applications (en 2024)

Identifiants externes

Identifiant HAL : dominiquemery

Identifiant ORCID : 0000-0001-5231-6611

Identifiant VIAF : http://viaf.org/viaf/127448349

Identifiant SCOPUS : 57198374387

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb13061176k

Identifiant ISNI : 0000000106587111

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]

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