Dominique M\'ery (LORIA
Identifiers
No identifiers captured yet.
Papers (3)
- Explicit Modelling of Physical Measures: From Event-B to Java cs.SE · 2018 · author #4
- 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
- Proceedings Second International Workshop on Formal Integrated Development Environment cs.PL · 2015 · author #3
Mentions
No mention provenance yet.
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