From formal specifications to ready-to-use software components: the concurrent object oriented Petri net approach
2011 ◽
Vol 121-126
◽
pp. 4350-4356
Keyword(s):
2016 ◽
Vol 12
(02)
◽
pp. 25
Keyword(s):
2017 ◽
Vol 36
(5)
◽
pp. 1063-1087
◽
1998 ◽
Vol 44
(12)
◽
pp. 955-970
◽
Keyword(s):
2007 ◽
Vol 187
◽
pp. 161-172
◽
1995 ◽
Vol 06
(04)
◽
pp. 481-488