UML-B is a UML-like graphical front end for Event-B that provides support for object- oriented modelling concepts. In particular, UML-B supports class diagrams and state machines, concepts that are not explicitly supported in plain Event-B. In Event-B, refinement is used to rela…
"1" Result
Sort By: