A Rodin plugin for quantitative timed models
Abstract
We propose to develop a Rodin plug-in that experiments a systematic use of a refinement pattern. The goal of this pattern is to help in modeling of timed system in Event-B. By timed system we mean system with quantitative temporal constraints and properties.
Origin : Files produced by the author(s)
Loading...