Rodin Handbook
This work is sponsored by the Deploy Project
This work is sponsored by the ADVANCE Project
This work is licensed under a Creative Commons Attribution 3.0 Unported License
 |
 |
 |
Rodin User’s Handbook v.2.8 |  |
 |
 |
1.2.4 Event-B Cookbook
Those interested in more general guidelines on how to develop and structure formal models in Event-B, the paper “Towards a Cookbook for Modelling and Refinement of Control Problems”1 may be of interest. It is an “attempt to develop some guidelines on modelling control problems in Event-B”.
|
|
|
|
|
|