Search results
From Event-B
Jump to navigationJump to searchCreate the page "Design" on this wiki! See also the search results found.
File:RodinWorkshopPresentation.pdf ...ions, counter-examples, etc.) we can suggest potential improvements to the design.(1.02 MB) - 20:50, 30 April 2020File:SM&D-KAR.pdf System Modelling & Design is an uncompleted textbook on Event-B by Ken Robinson.(926 KB) - 20:49, 30 April 2020