A Recursive Colored Petri Nets semantics for AUML as base of test case generation
Keyword(s):
Keyword(s):
2011 ◽
Vol 3
(8)
◽
pp. 146-153
Keyword(s):
2006 ◽
pp. 732-741
◽
2019 ◽
Vol 7
(9)
◽
pp. 95-101
2019 ◽
Vol 7
(2)
◽
pp. 1016-1019
Keyword(s):
2000 ◽