[IEEE 2014 IEEE 38th International Computer Software and Applications Conference Workshops (COMPSACW) - Vasteras, Sweden (2014.7.21-2014.7.25)] 2014 IEEE 38th International Computer Software and Applications Conference Workshops - A Meta-model Transformation from UML Activity Diagrams to Event-B Models
Younes, Ahlem Ben, Hlaoui, Yousra Bendaly, Ayed, Leila Jemni BenYear:
2014
Language:
english
DOI:
10.1109/compsacw.2014.119
File:
PDF, 230 KB
english, 2014