Rodin Handbook





 
Previous: How to change the name of a Event-B Project? Up: Modeling Next: How to remove a Event-B Component User Manual for Rodin v.2.3

Feedback

4.3.10 How to create a Event-B Component

Please check Tutorial 2.4.2 to learn how to create a new Event-B component.

Previous: How to change the name of a Event-B Project? Up: Modeling Next: How to remove a Event-B Component  
User Manual for Rodin v.2.3 : Frequently Asked Questions : Modeling : How to create a Event-B Component