No edit summary |
|||
Line 2: | Line 2: | ||
__NOTOC__ | __NOTOC__ | ||
This page provides additional resources for the paper we have submitted for the [http://www.irit.fr/ABZ2014/casestudy.html ABZ 2014 case study track]. | This page provides additional resources for the paper we have submitted for the [http://www.irit.fr/ABZ2014/casestudy.html ABZ 2014 case study track]. | ||
The full description of the case study can be found [ | The full description of the case study can be found [[Media:landing_system.pdf|here]]. | ||
=== ProB Live Visualization (click to join) === | === ProB Live Visualization (click to join) === |
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.
{{#ev:youtube|wFr_pEjbpqo|640}}