Difference between revisions of "User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition"
From Event-B
Jump to navigationJump to searchimported>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.
