Difference between revisions of "Language of an Event-B Component"
From Event-B
Jump to navigationJump to searchimported>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.