IUML-B State-machines Tutorial
From Event-B
This page is not yet completed. However, a video tutorial of iUML-B Statemachines is available here: http://www.youtube.com/user/EventBTv
This page is not yet completed. However, a video tutorial of iUML-B Statemachines is available here: http://www.youtube.com/user/EventBTv