Search results
From Event-B
Jump to navigationJump to searchCreate the page "Composition" on this wiki! See also the search results found.
Page title matches
File:Composition, Renaming and Generic Instantiation.pdf Composition,_Renaming_and_Generic_Instantiation(2.72 MB) - 20:50, 30 April 2020File:Feature Composition Tool User Manual.pdf [[Category:Composition plugin]](165 KB) - 20:50, 30 April 2020
Page text matches
File:Composition, Renaming and Generic Instantiation.pdf Composition,_Renaming_and_Generic_Instantiation(2.72 MB) - 20:50, 30 April 2020File:CompFile cm11 cmp.png Composition file pretty print(778 × 553 (52 KB)) - 20:50, 30 April 2020File:Cmp mch obj.gif Compose machine icon for Shared Event Composition plugin(16 × 16 (191 bytes)) - 20:49, 30 April 2020File:Feature Composition Tool User Manual.pdf [[Category:Composition plugin]](165 KB) - 20:50, 30 April 2020