Common Contracts
1 similar Deploy Grant Agreement contracts
DEPLOY Deliverable D15 D6.1 Advances in Methods Public DocumentDeploy Grant Agreement • May 19th, 2009
time constraints. Time constraints can be refined in the general spirit of refinement but more complex cases have yet to be investigated. In the longer term, Event-B could be extended with some real-time constructs that provide better support for real-time modelling in Event-B. In addition to this some generic patterns such as the trigger/response pattern can be incorporated into the tool to provide users with a semi-automatic refinement facility.
