IUML-B Modelling a control system: 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.

30 September 2020

26 June 2015

  • curprev 17:0917:09, 26 June 2015‎ imported>Colin‎ 2,739 bytes +42‎ No edit summary
  • curprev 17:0617:06, 26 June 2015‎ imported>Colin‎ 2,697 bytes −39‎ No edit summary
  • curprev 16:2216:22, 26 June 2015‎ imported>Colin‎ 2,736 bytes +1,333‎ No edit summary
  • curprev 15:1015:10, 26 June 2015‎ imported>Colin‎ 1,403 bytes +1,403‎ Created page with " This page gives some guidelines for developing a control system using iUML-B. This page is under development. Currently it is just a few notes which will later be compiled..."
Retrieved from ‘https://wiki.event-b.org/index.php/IUML-B_Modelling_a_control_system’