-
Automatic planning: From Event-B to PDDL (short paper)
-
Reliability on Fully Probabilistic Event-B: How Bound the Enabling of Events
-
Systematic Construction of Critical Embedded Systems using Event-B
-
Component design and adaptation based on behavioral contracts
-
Towards real-time semantics for a distributed event-based MOP language
The workshop is organised as an event of the Eight International Conference on Model & Data Engineering (MEDI) to be held from 24 to 26 October 2018 in Marrakesh, Morocco. http://medi2018.uca.ma/