ABZ14: Difference between revisions

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 Visualization (click to join) ===
=== 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>

Revision as of 21:44, 12 February 2015