A Meta-model Transformation from UML Activity Diagrams to Event-B Models
Keyword(s):
2008 ◽
Vol 59
(7)
◽
pp. 682-693
◽
2017 ◽
Vol 48
(1)
◽
pp. 105-122
◽
Keyword(s):
Keyword(s):