| 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> | ||
This page provides additional resources for the paper we have submitted for the ABZ 2014 case study track. 
{{#ev:youtube|wFr_pEjbpqo|640}}