7 citations · 15 across the 7 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.SE2018★ 7 cited
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…
cs.LO2018
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)
Régine Laleau, Dominique Méry, Shin Nakajima +1
This volume contains the joint proceedings of IMPEX 2017, the first workshop on Handling IMPlicit and EXplicit knowledge in formal system development and FM&MDD, the second worksho…