ABZ 2014 Case Study

Revision as of 08:27, 21 February 2014 by Michael Leuschel (talk | contribs)


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}}

Ressources

Links