No edit summary |
No edit summary |
||
Line 28: | Line 28: | ||
</div> | </div> | ||
<br/> | <!--br/> | ||
<h3 style="text-align:center;">Online Visualization</h3> | <h3 style="text-align:center;">Online Visualization</h3> | ||
<div style="text-align:center"> | <div style="text-align:center"> | ||
Line 40: | Line 40: | ||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/landing.html Landing Gear System (Event-B)] | <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/landing.html Landing Gear System (Event-B)] | ||
</p> | </p> | ||
< | <p class="btn btn-lg btn-outline"> | ||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/crossing.html Crossing (CSP)] | <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/crossing.html Crossing (CSP)] | ||
</p> | </p> | ||
<p class="btn btn-lg btn-outline"> | <p class="btn btn-lg btn-outline"> | ||
<i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bully.html Bully Algorithm (CSP)] | <i class="glyphicon glyphicon-film"></i> [http://wyvern.cs.uni-duesseldorf.de/bms/bully.html Bully Algorithm (CSP)] | ||
</p | </p> | ||
</div> | </div--> | ||
<br/> | <br/> |