Atomicity Decomposition Plug-in User Guide: Revision history

From Event-B
Jump to navigationJump 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.

(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)

7 August 2012

  • curprev 15:4415:44, 7 August 2012‎ imported>Asiehsalehi‎ 1,635 bytes −9‎ No edit summary
  • curprev 15:4415:44, 7 August 2012‎ imported>Asiehsalehi‎ 1,644 bytes −739‎ No edit summary
  • curprev 15:3115:31, 7 August 2012‎ imported>Asiehsalehi‎ 2,383 bytes +578‎ No edit summary
  • curprev 15:0115:01, 7 August 2012‎ imported>Asiehsalehi‎ 1,805 bytes −7‎ No edit summary
  • curprev 14:5814:58, 7 August 2012‎ imported>Asiehsalehi‎ 1,812 bytes +1,812‎ New page: {{TOCright}} == Introduction == The Atomicity Decomposition (AD) plug-in allows an explicit representation of control flow and explicit representation of refinement relationships between ...
(newest | oldest) View ( | older 50) (20 | 50 | 100 | 250 | 500)
Retrieved from ‘https://wiki.event-b.org/index.php/Atomicity_Decomposition_Plug-in_User_Guide’