Toggle navigation
First Steps
Tutorial
B-Method Tutorial
Manual
B-Method Manual
FAQ
Download
Report Bug
PDF
BMotionWeb for ProB Handbook
4.1.1 Preparation
Let’s start by creating a new visualization template as described in Section
2.3
.
BMotionWeb for ProB Handbook
:
BMotionWeb for Event-B and Classical-B
:
Tutorial
:
Preparation