Rewriting rules for event model decomposition: Revision history

From Event-B

View logs for this page

Jump to navigation Jump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 09:1909:19, 27 October 2011‎ imported>Ladenberger‎ 9,822 bytes −2‎ →‎Equivalence rules on Event-B assignments

curprev 12:0512:05, 12 August 2009‎ imported>Mathieu‎ m 9,824 bytes +22‎ →‎Derived transformation rules on Event-B actions: Category:Design

curprev 15:0915:09, 22 July 2009‎ imported>Pascal‎ 9,802 bytes +119‎ →‎Transformation rules

curprev 09:1709:17, 17 July 2009‎ imported>Pascal‎ 9,683 bytes +4,626‎ →‎Rewriting rules for event model decomposition

curprev 12:2212:22, 16 July 2009‎ imported>Pascal‎ 5,057 bytes −115‎ →‎Rewriting rules on Event-B actions

curprev 09:3709:37, 14 July 2009‎ imported>Son‎ 5,172 bytes +315‎ →‎Rewriting rules on Event-B actions
curprev 09:2709:27, 14 July 2009‎ imported>Son‎ 4,857 bytes +369‎ →‎Rewriting rules on Event-B actions

curprev 12:4412:44, 7 July 2009‎ imported>Pascal‎ m 4,488 bytes −213‎ →‎Rewriting rules on Event-B assignments

curprev 16:2916:29, 6 July 2009‎ imported>Pascal‎ m 4,701 bytes 0‎ →‎Rewriting rules on Event-B assignments

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

Navigation menu