Event Model Decomposition

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

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