IUML-B State-machines Tutorial

From Event-B
Revision as of 10:11, 15 June 2013 by imported>Colin
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search
This page is not yet completed. However, a video tutorial of iUML-B Statemachines is available here: http://www.youtube.com/user/EventBTv
Retrieved from ‘https://wiki.event-b.org/index.php?title=IUML-B_State-machines_Tutorial&oldid=5568’