Search results

From Event-B
Jump to navigationJump to search

Create the page "Index (Modelling Language)" on this wiki! See also the search results found.

  • Past Developments
    ==== Mathematical Language V2 ==== [[Changes to the Mathematical Language of Event-B]] and the corresponding [[Mathematical_Language_Evolution_Design
    6 KB (915 words) - 16:57, 27 February 2014
  • Tasking Event-B Overview
    ...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
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’