Search results

From Event-B
Jump to navigationJump to search
Results 1 – 3 of 3
Advanced search

Search in namespaces:

  
  
  
  
  
  
  
  
  • #REDIRECT [[User:Pascal/Collections/Deploy Deliverable D23]]
    60 bytes (7 words) - 12:45, 26 November 2010
  • ...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 previousl
    7 KB (1,094 words) - 10:50, 22 January 2010
  • ...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, ''Conve
    26 KB (3,961 words) - 13:04, 19 May 2020