Event Model Decomposition
From Event-B
Revision as of 08:19, 10 June 2009 by imported>Pascal
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.