No edit summary |
|||
| Line 11: | Line 11: | ||
* HD Machine EventB Model | * HD Machine EventB Model | ||
* BMotion Studio Visualisation | * BMotion Studio Visualisation | ||
=== Live Visualisation === | |||
tbd | |||
=== Links === | === Links === | ||
This page provides additional information and resources for the paper we have submitted for the ABZ 2016 case study track.
The full description of the case study can be found here.
tbd