IUML-B State-machines Tutorial

From Event-B
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