Dominique Méry

Latest

• On the Importance of Explicit Domain Modelling in Refinement-Based Modelling Design. Experiments with Event-B
• Modeling an Aircraft Landing System in Event-B
• Analysis of Self-⋆ and P2P Systems Using Refinement