Difference between revisions of "Event Model Decomposition"
From Event-B
Jump to navigationJump to searchimported>Pascal (New page: {{TOCright}}) |
imported>Pascal |
||
| 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
Contents |
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.
