ABZ14: Difference between revisions

No edit summary
Line 3: Line 3:
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.  
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.  


=== Live Visualization ===
=== Live Visualization (click to join) ===
<html><a href="http://cobra.cs.uni-duesseldorf.de:8083/bms/404df4f2-7f33-4a61-8ff0-e008358cf485/landinggear.html">
<html><a href="http://cobra.cs.uni-duesseldorf.de:8083/bms/404df4f2-7f33-4a61-8ff0-e008358cf485/landinggear.html">
<img src="http://www.stups.uni-duesseldorf.de/ProB/images/7/7b/Landing_gear.png" width="600" /><a>
<img src="http://www.stups.uni-duesseldorf.de/ProB/images/7/7b/Landing_gear.png" width="600" /><a>

Revision as of 12:50, 14 February 2014


This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track.

Live Visualization (click to join)

BMotion Studio Video

{{#ev:youtube|wFr_pEjbpqo|640}}

Ressources

Links