Towards A Semantic for UML Activity Diagram Based on Institution Theory for it's Transformation to Event-B Model
2012 ◽
Vol 9
(1)
◽
pp. 249-283
◽
Keyword(s):
2020 ◽
Vol 123
◽
pp. 106292
◽
Keyword(s):
2005 ◽
Vol 44
(01)
◽
pp. 11-13
◽