Event Model Decomposition

From Event-B
Revision as of 08:19, 10 June 2009 by imported>Pascal
Jump to navigationJump to search

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.