Model Critic: 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.

1 August 2011

26 April 2011

  • curprev 13:3313:33, 26 April 2011‎ imported>Alexili‎ m 1,056 bytes +433‎ No edit summary
  • curprev 12:2312:23, 26 April 2011‎ imported>Alexili‎ m 623 bytes +623‎ New page: Model Critic uses the Rodin EMF plugin to connect the Rodin modelling database with rich and versatile model manipulation framework called Epsilon. One element of Epsilon is an interpreted...
Retrieved from ‘https://wiki.event-b.org/index.php/Model_Critic’