The model is described in the first chapter of [1] with some differences.
- J.-R. Abrial, Modeling in Event-B: System and Software Engineering, Cambridge University Press, 2010.
cars-on-bridge
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||