ABZ14: Difference between revisions
No edit summary |
|||
| Line 12: | Line 12: | ||
{{#ev:youtube|wFr_pEjbpqo|640}} | {{#ev:youtube|wFr_pEjbpqo|640}} | ||
=== | === Resources === | ||
* [http://www.stups.hhu.de/w/Special:Publication/abz14casestudy Case Study Paper] | * [http://www.stups.hhu.de/w/Special:Publication/abz14casestudy Case Study Paper] | ||
* [[Media:LandingGear.zip|Landing Gear Model EventB Model]] | * [[Media:LandingGear.zip|Landing Gear Model EventB Model]] | ||
Revision as of 12:03, 28 October 2014
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.
The full description of the case study can be found here.
ProB Live Visualization (click to join)
ProB BMotion Studio Video
{{#ev:youtube|wFr_pEjbpqo|640}}