Search results
From Event-B
Jump to navigationJump to searchCreate the page "Collections" on this wiki! See also the search results found.
Page title matches
- [[Category:Collections]]177 bytes (18 words) - 16:24, 6 January 2009
- #REDIRECT [[User:Pascal/Collections/Deploy Deliverable D23]]60 bytes (7 words) - 17:31, 2 November 2009
- [[Category:Collections]]5 KB (571 words) - 13:38, 28 January 2009
- 2 KB (296 words) - 14:27, 6 November 2014
- :[[User:Nicolas/Collections/ADVANCE D3.4 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :[[User:Nicolas/Collections/ADVANCE D3.4 General Platform Maintenance|General Platform Maintenance]]5 KB (780 words) - 14:57, 6 October 2014
- 4 KB (576 words) - 16:01, 26 January 2010
- 6 KB (894 words) - 09:47, 5 June 2012
- 5 KB (699 words) - 14:52, 30 November 2010
- 5 KB (732 words) - 08:31, 14 February 2012
- 4 KB (652 words) - 15:59, 31 October 2012
- * In WP2 is was used for modelling arithmetic operations on data collections (generalised product and sum) for the voltage controller.5 KB (713 words) - 15:34, 19 November 2014
- 16 KB (2,629 words) - 10:31, 25 November 2014
- 13 KB (1,966 words) - 09:54, 25 November 2014
- 4 KB (639 words) - 16:46, 21 November 2014
- 2 KB (346 words) - 07:37, 25 November 2014
- 671 bytes (74 words) - 15:09, 1 December 2010
Page text matches
- #REDIRECT [[User:Pascal/Collections/Deploy Deliverable D23]]60 bytes (7 words) - 12:45, 26 November 2010
- #REDIRECT [[User:Pascal/Collections/Deploy Deliverable D23]]60 bytes (7 words) - 17:31, 2 November 2009
- [[Category:Collections]]177 bytes (18 words) - 16:24, 6 January 2009
- :[[User:Nicolas/Collections/ADVANCE D3.4 Introduction|Introduction]] (Laurent Voisin/Nicolas Beauger) :[[User:Nicolas/Collections/ADVANCE D3.4 General Platform Maintenance|General Platform Maintenance]]5 KB (780 words) - 14:57, 6 October 2014
- [[Category:Collections]]5 KB (571 words) - 13:38, 28 January 2009
- ...that this has the limitation that it is not possible to have two different collections which contain the same kind of element) ...by subclassing their elements and, for example, adding new attributes and collections to this subclass. However, this does not work retrospectively for previousl7 KB (1,094 words) - 10:50, 22 January 2010
- * In WP2 is was used for modelling arithmetic operations on data collections (generalised product and sum) for the voltage controller.5 KB (713 words) - 15:34, 19 November 2014
- ...ty for using '''Intrinsic IDs''' instead of the default method of indexing collections. As a result of this, proxies are constructed from the URI of the containin ...ent'' contains a refines relationships with other events. It also contains collections of parameters, guards, witnesses, and actions. The enumerated type, ''Conve26 KB (3,961 words) - 13:04, 19 May 2020