User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition
From Event-B
< User:Nicolas
Jump to navigationJump to searchRevision as of 12:23, 7 November 2014 by imported>Andy (→Conclusion)
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.