Language of an Event-B Component: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Laurent Layout |
(No difference)
|
Revision as of 11:10, 20 November 2013
Since the introduction of mathematical extensions in Rodin 2.0, Event-B components can use extended version of the Event-B mathematical language. This page described how this is organized in the core platform.
