Difference between pages "User:Nicolas/Collections/ADVANCE D3.4 Model Composition and Decomposition" and "File:ConstantTab.png"

From Event-B
< User:Nicolas(Difference between pages)
Jump to navigationJump to search
imported>Andy
 
imported>Christophe
 
Line 1: Line 1:
−
== 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 ==
 
−
<references/>
 

Revision as of 20:10, 7 July 2008

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