RODIN / Feature Requests / #344 Possibility of split a model in several event-b projects

#344 Possibility of split a model in several event-b projects

Milestone: unplanned

Status: open

Owner: nobody

Labels: None

Priority: 7

Updated: 2016-05-11

Created: 2015-02-23

Creator: Luis Diaz

Private: No

Add possibility of refine/extend from a machine/context of a different project

Discussion

Laurent Voisin - 2015-11-05

Group: 3.2 --> unplanned
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Son Hoang - 2016-05-11

We have made some experiments along this line and I will speak something about this in the upcoming Rodin Workshop.
Cheers,
Son

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.