- 1
Dominique Méry
1
Documents
Présentation
- Full Professor in Computing Science
- Head of the team [MOSEL](http://mosel.loria.fr) of the [LORIA](http://www.loria.fr) laboratory
- Professor at [Telecom Nancy](https://telecomnancy.univ-lorraine.fr/)
- dominique dot mery at loria dot fr
- Tel.+33 (0)3.83.59.20.19
- Bureau B202
LORIA, Campus Scientifique,
F54506 Vandœuvre lès Nancy
- [Webpage on the LORIA laboratory](http://members.loria.fr/Mery)
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
Formal Ontological Analysis for Medical ProtocolsImplicit and explicit semantics integration in proof based developments of discrete systems, Springer, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6_5⟩
Chapitre d'ouvrage
hal-03199742v1
|