Shared Event Composition Release History
From Event-B
Revision as of 10:58, 11 November 2009 by imported>Renato (New page: Version 1.1.4 [for Rodin 1.1.0] *Features ** Section related with 'VARIANT' was removed. ** Labels of the elements in the generated machine used '\' instead of '/' for the separation.)
Version 1.1.4 [for Rodin 1.1.0]
- Features
- Section related with 'VARIANT' was removed.
- Labels of the elements in the generated machine used '\' instead of '/' for the separation.