User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Nicolas Created page with "== Overview == {{TODO}} == Motivations / Decisions == {{TODO}} == Available Documentation == {{TODO}} == Conclusion == {{TODO}} == References == <references/>" |
imported>Andy |
||
| Line 9: | Line 9: | ||
== Conclusion == | == Conclusion == | ||
Composition/decomposition have been applied in the interlocking case study of WP1 and the smart grid case study of WP2. | |||
== References == | == References == | ||
<references/> | <references/> | ||
Revision as of 12:23, 7 November 2014
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.
