First Steps
Tutorial
- B-Method Tutorial
Manual
- B-Method Manual
FAQ
Download
Report Bug
PDF

BMotionWeb for ProB Handbook

3 BMotionWeb

3.1 Reference
- 3.1.1 BMotionWeb Manifest File
- 3.1.2 bmotion.json Configuration File

BMotionWeb for ProB Handbook : BMotionWeb

Contact

Heinrich-Heine-University
Institut für Software und Programmiersprachen
To Website

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License

Sponsored

This work is sponsored by the ADVANCE Project

Copyright © Heinrich-Heine-University, Institut für Software und Programmiersprachen 2015