Event Model Decomposition: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Pascal New page: {{TOCright}} |
imported>Pascal No edit summary |
||
| Line 1: | Line 1: | ||
{{TOCright}} | {{TOCright}} | ||
=== Bibliography === | |||
* J.R. Abrial, ''Mathematical Models for Refinement and Decomposition'', in ''The Event-B Book'', February 2007. | |||
* J.R. Abrial, ''Event Model Decomposition'', Version 1.3, April 2009. | |||
[[Category:Design]] | |||
[[Category:Work in progress]] | |||
Revision as of 08:19, 10 June 2009
Bibliography
- J.R. Abrial, Mathematical Models for Refinement and Decomposition, in The Event-B Book, February 2007.
- J.R. Abrial, Event Model Decomposition, Version 1.3, April 2009.
