Search results
From Event-B
Jump to navigationJump to searchCreate the page "Composition" on this wiki! See also the search results found.
- ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:#8B4513"> not checked </span> || || 5th Ju9 KB (1,244 words) - 13:52, 1 April 2022
- ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:green"> available </span> || || 5th July 213 KB (1,514 words) - 14:38, 6 July 2017
- ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:green"> available </span> || || 5th July 213 KB (1,514 words) - 07:16, 2 September 2017
- :<math>Composition\quad\frac{x\in A,~A\subseteq B}{x\in B}\left[~\right]</math>19 KB (3,362 words) - 13:50, 5 June 2014
- ...raction between a task and a machine can be represented synchronized event composition as currently supported by the synchronised-event plug-in. The generated im11 KB (1,725 words) - 18:07, 7 December 2009
- ...ion 0.2.1 for Rodin 2.4 and above from the main Rodin Update Site in the ''Composition and Decomposition'' category.13 KB (1,991 words) - 20:57, 20 April 2012
- ...ppleton,[http://eprints.ecs.soton.ac.uk/16487/1/poppletonABZ2008.pdf ''The composition of Event-B models''], in ABZ2008: Int. Conference on ASM, B and Z, 2008. [[Category:Composition]]43 KB (6,950 words) - 09:48, 27 October 2011
- *Shared Event Composition: Download from the main Rodin Update Site, in the Decomposition section.17 KB (2,568 words) - 09:03, 19 October 2015
- ...ntain one or more state-machines. We have yet to explore the decomposition/composition of machines containing state-machines. In principal we should be able to ap20 KB (3,030 words) - 13:18, 18 July 2012