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.