-
Notifications
You must be signed in to change notification settings - Fork 2
Related repositories
Thái Sơn Hoàng edited this page Aug 25, 2022
·
1 revision
The following repositories are the Rodin extension features maintained by our research group.
- Event-B Utitilities: Various utilities related to Event-B modelling elements for the Rodin Platform.
- EMF Event-B: EMF-based support for modelling in Event-B
- EMF Translator: A framework for EMF model-to-model transformation
© University of Southampton