Search results

From Event-B
Jump to navigationJump to search
  • ...and runtime support to produce a set of Java classes for the model, along with a set of adapter classes that enable viewing and command-based editing of t ...meta-class to model entire projects. There are two sub-packages, contained with the core package, for Machine and Context. Note, that the ''EventB'' prefi
    26 KB (3,961 words) - 13:04, 19 May 2020
  • ...igger and more recent models, just substituting values for variables fails with out-of-memory conditions. The alternative consisting in the manual checking ...Siemens in much more detail, as well as explaining the performance issues with Atelier B.
    16 KB (2,553 words) - 15:12, 27 January 2011