BMotion Studio: Difference between revisions
No edit summary |
No edit summary |
||
| Line 1: | Line 1: | ||
[[Category:Components]] | [[Category:Components]] | ||
<div style="text-align:center;"> | |||
[[File:bmotion_logo.png|center]] | [[File:bmotion_logo.png|center]] | ||
</div> | |||
<h3 style="text-align:center;">BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.</h3> | <h3 style="text-align:center;">BMotion Studio is a tool built on top of the [[ProB Java API]] for creating domain specific visualisations of formal models.</h3> | ||
Revision as of 11:34, 19 November 2014
