Search results
From Event-B
Jump to navigationJump to searchCreate the page "Index (Modelling Language)" on this wiki! See also the search results found.
- ==== Mathematical Language V2 ==== [[Changes to the Mathematical Language of Event-B]] and the corresponding [[Mathematical_Language_Evolution_Design6 KB (915 words) - 16:57, 27 February 2014
- ...structure a project that is suitable for a Tasking Development. During the modelling phase parameters are introduced to facilitate decomposition. As a result of ...Tasking_Event-B_Overview#Shared_Machines Shared], [http://wiki.event-b.org/index.php/Tasking_Event-B_Overview#The_Environ_Machine Environ]9 KB (1,528 words) - 08:43, 2 September 2013