Search results
From Event-B
Jump to navigationJump to searchCreate the page "Michael" on this wiki! See also the search results found.
File:Requirements-quo-vadis.pdf Presentation regarding Requirements by Michael Jastram(896 KB) - 20:49, 30 April 2020File:Towards Modular Development in Event-B.pdf Towards Modular Development in Event-B (Thai Son Hoang, Hironobu Kuruma, and Michael Butler)(171 KB) - 20:50, 30 April 2020File:Theory Plug-in for Rodin 3.x.pdf Theory plug-in for Rodin 3.x (Thai Son Hoang, Asieh Salehi, Michael Butler, and Laurent Voisin)(100 KB) - 20:50, 30 April 2020File:Extending Code Generation to Support Platform-Independent Event-B Models.pdf ...e Generation to Support Platform-Independent Event-B Models (Asieh Salehi, Michael Butler, and Colin Snook)(68 KB) - 20:49, 30 April 2020