Dominique M\'ery (LORIA

Identifiers

• name variant Dominique M\'ery (LORIA 0.60 · backfill

Papers (3)

1. Explicit Modelling of Physical Measures: From Event-B to Java cs.SE · 2018 · author #4
2. Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) cs.LO · 2018 · author #4
3. Proceedings Second International Workshop on Formal Integrated Development Environment cs.PL · 2015 · author #3

Mentions

• 1508.03388 #3 · backfill · confidence 0.70 Dominique M\'ery (LORIA

Frequent Coauthors

• France) 2 shared papers
• Catherine Dubois (ENSIIE) 1 shared papers
• Elena Troubitsyna (Abo Akademi University 1 shared papers
• Evry 1 shared papers
• Finland) 1 shared papers
• Japan) 1 shared papers
• J Paul Gibson (T\'el\'ecom Sud Paris 1 shared papers
• Paolo Masci (Queen Mary University of London) 1 shared papers
• R\'egine Laleau (LACL 1 shared papers
• Shin Nakajima (National Institute of Informatics 1 shared papers
• Telecom Nancy 1 shared papers
• Turku 1 shared papers
• Universit\'e de Lorraine 1 shared papers
• Universit\'e de Lorraine) 1 shared papers
• University of Lorraine 1 shared papers
• University of Paris-Est Cr\'eteil 1 shared papers
• Vand{\oe}uvre-l\`es-Nancy 1 shared papers