[IEEE 2014 IEEE International Conference on Information Reuse and Integration (IRI) - Redwood City, CA, USA (2014.8.13-2014.8.15)] Proceedings of the 2014 IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014) - UML activity diagram to event-B: A model transformation approach based on the institution theory
Achouri, Amine, Ben Ayed, Leila JemniYear:
2014
Language:
english
DOI:
10.1109/iri.2014.7051974
File:
PDF, 218 KB
english, 2014