research
∙
08/07/2020
Generating Distributed Programs from Event-B Models
Distributed algorithms offer challenges in checking that they meet their...
share
research
∙
05/15/2018
Explicit Modelling of Physical Measures: From Event-B to Java
The increasing development of cyber-physical systems (CPSs) requires mod...
research
∙
05/12/2018
