No edit summary |
|||
Line 5: | Line 5: | ||
=== ProB Live Visualization (click to join) === | === ProB Live Visualization (click to join) === | ||
<html><a href="http://cobra.cs.uni-duesseldorf.de:8083/bms/ | <html><a href="http://cobra.cs.uni-duesseldorf.de:8083/bms/838681ce-920b-4fed-ae29-c0919675b9df/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> | ||
</html> | </html> |
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}}