Search results

From Event-B
Jump to navigationJump to search

Create the page "What links here" on this wiki! See also the page found with your search.

  • Event Model Decomposition
    The purpose is here to precisely describe what is required at the Rodin platform level to integrate this event model decom ...ts (or B-style decomposition, after [[#ancre_2|Butler]]) is not considered here.
    43 KB (6,950 words) - 09:48, 27 October 2011

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’