Explicit Modelling of Physical Measures: From Event-B to Java

J Paul Gibson, Dominique Méry

The increasing development of cyber-physical systems (CPSs) requires modellers to represent and reason about physical values. This paper addresses two major, inter-related, aspects…