Search results

From Event-B
Jump to navigationJump to search
  • Thumbnail for File:RodinWorkshopPresentation.pdf
    ...ions, counter-examples, etc.) we can suggest potential improvements to the design. ...
    (1.02 MB) - 20:50, 30 April 2020
  • Thumbnail for File:SM&D-KAR.pdf
    System Modelling & Design is an uncompleted textbook on Event-B by Ken Robinson. ...
    (926 KB) - 20:49, 30 April 2020