Search results
From Event-B
Jump to navigationJump to searchCreate the page "Translating SCXML Statecharts to iUML-B State-machines.pdf" on this wiki! See also the page found with your search.
- The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community5 KB (664 words) - 18:29, 6 June 2016