No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
=== Links === | === Links === | ||
* [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage] | * [http://www.stups.hhu.de/ProB/index.php5/BMotion_Studio BMotion Studio for ProB Homepage] | ||
* [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook] | * [https://www3.hhu.de/stups/handbook/bmotion/current/html BMotion Studio for ProB User Handbook] | ||
* [http://wiki.event-b.org/index.php/IUML-B iUML-B Homepage] | |||
This page provides additional information and resources for the paper we have submitted for the ABZ 2016 case study track.
The full description of the case study can be found here.