Event Model Decomposition

From Event-B
Revision as of 08:19, 10 June 2009 by imported>Pascal
Jump to navigationJump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

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.
Retrieved from ‘https://wiki.event-b.org/index.php?title=Event_Model_Decomposition&oldid=4349’