Search results
From Event-B
Jump to navigationJump to searchCreate the page "Colin" on this wiki! See also the search results found.
File:Translating SCXML Statecharts to iUML-B State-machines.pdf Translating SCXML Statecharts to iUML-B State-machines (Karla Morris and Colin Snook)(216 KB) - 20:50, 30 April 2020File:Extending Code Generation to Support Platform-Independent Event-B Models.pdf ...ort Platform-Independent Event-B Models (Asieh Salehi, Michael Butler, and Colin Snook)(68 KB) - 20:49, 30 April 2020File:Using Rodin and BMotionStudio for Public Engagement.pdf ...din and BMotionStudio for Public Engagement (Dana Dghaym, Asieh Salehi and Colin Snook)(329 KB) - 20:49, 30 April 2020