Search results

From Event-B
Jump to navigationJump to search

Create the page "Translating SCXML Statecharts to iUML-B State-machines.pdf" on this wiki! See also the page found with your search.

  • Rodin Workshop 2016
    The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community
    5 KB (664 words) - 18:29, 6 June 2016
Retrieved from ‘https://wiki.event-b.org/index.php/Special:Search’