Popular repositories Loading

1. diagram-editor diagram-editor Public

   Java 2 1

2. railground railground Public

   Forked from klar42/railground

   This is a playground for studying railway models using formal methods.

   Java

3. EMF_EventB EMF_EventB Public

   Forked from eventB-Soton/EMF_EventB

   EMF based support for modelling in Event-B

   Java

4. EMF_EventB_Extensions EMF_EventB_Extensions Public

   Forked from eventB-Soton/EMF_EventB_Extensions

   Java

5. EMF_Translator EMF_Translator Public

   Forked from eventB-Soton/EMF_Translator

   Framework for implementing EMF model to model transformations in Java

   HTML

6. iUML_B_StateMachineDiagrams iUML_B_StateMachineDiagrams Public

   Forked from eventB-Soton/iUML_B_StateMachineDiagrams

   Java