ABZ14: Difference between revisions

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 [http://www.irit.fr/ABZ2014/landing_system.pdf here].
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) ===

Revision as of 12:22, 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}}

Resources

Links