User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition

From Event-B
< User:Nicolas
Revision as of 12:23, 7 November 2014 by imported>Andy (→‎Conclusion)
Jump to navigationJump to search

Overview

TODO

Motivations / Decisions

TODO

Available Documentation

TODO

Conclusion

Composition/decomposition have been applied in the interlocking case study of WP1 and the smart grid case study of WP2.

References

Retrieved from ‘https://wiki.event-b.org/index.php?title=User:Nicolas/Collections/ADVANCE_D3.4_Model_Composition_and_Decomposition&oldid=10963’