Rodin Handbook
This work is sponsored by the Deploy Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
User Manual for Rodin v.2.3 |  |
 |
 |
2.7 Event-B Concepts
In Event-B we have two kind of components. We already encountered a context that describes static elements of a model. The other component is a machine that describes the dynamic behavior of a model.
|
|
|
|
|
|