Search results

Create the page "Composition" on this wiki! See also the search results found.

• Rodin Platform 3.5.0 External Plug-ins
  ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:#8B4513"> not checked </span> || || 5th Ju
  9 KB (1,244 words) - 13:52, 1 April 2022
• Rodin Platform 3.2.0 External Plug-ins
  ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:green"> available </span> || || 5th July 2
  13 KB (1,514 words) - 14:38, 6 July 2017
• Rodin Platform 3.3.0 External Plug-ins
  ...p_mch_obj.gif|20px]] ||[[Parallel_Composition_using_Event-B | Shared Event Composition]] || 1.7.1 || <span style="color:green"> available </span> || || 5th July 2
  13 KB (1,514 words) - 07:16, 2 September 2017
• Membership in Goal
  :<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
• D23 Code Generation
  ...raction between a task and a machine can be represented synchronized event composition as currently supported by the synchronised-event plug-in. The generated im
  11 KB (1,725 words) - 18:07, 7 December 2009
• D45 Scalability
  ...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
• Event Model Decomposition
  ...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
• Code Generation Activity
  *Shared Event Composition: Download from the main Rodin Update Site, in the Decomposition section.
  17 KB (2,568 words) - 09:03, 19 October 2015
• ADVANCE D3.2 General Platform Maintenance
  ...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 ap
  20 KB (3,030 words) - 13:18, 18 July 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)