No edit summary |
|||
Line 4: | Line 4: | ||
The full description of the case study can be found [[Media:landing_system.pdf|here]]. | The full description of the case study can be found [[Media:landing_system.pdf|here]]. | ||
=== ProB Live | === Other ProB Live Visualisations === | ||
<html><a href="http://cobra.cs.uni-duesseldorf.de:8083/bms/vis_dev1_fixed/landinggear.html"> | |||
ProB Visualisation of [x] after fix | |||
<a></html> | |||
=== ProB Live Visualisation (click to join) === | |||
<html><a href="http://cobra.cs.uni-duesseldorf.de:8084/bms/landing/landinggear.html"> | <html><a href="http://cobra.cs.uni-duesseldorf.de:8084/bms/landing/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.
The full description of the case study can be found here.
ProB Visualisation of [x] after fix
{{#ev:youtube|wFr_pEjbpqo|640}}