BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 18: | Line 18: | ||
<h4 style="text-align:center;">Getting Started</h4> | <h4 style="text-align:center;">Getting Started</h4> | ||
<div style="text-align:center;"> | |||
<p class="btn btn-lg btn-outline"> | |||
<i class="fa fa-road"></i>[http://cobra.cs.uni-duesseldorf.de:8084/bms/landing/landinggear.html Try our online visualisation for the ABZ'14 landing gear case study] | |||
</p> | |||
</div> | |||
<div style="text-align:center;"> | <div style="text-align:center;"> | ||
Revision as of 09:10, 26 February 2015
What is BMotion Studio for ProB?
BMotion Studio for ProB is a tool built on top of the ProB Java API for creating domain specific visualisations of Classical-B, Event-B and CSP models.
Getting Started