Using UML Activity Diagrams and Event B for Distributed and Parallel Applications
2017 ◽
Vol 48
(1)
◽
pp. 105-122
◽
Keyword(s):
Keyword(s):