Mapping UML Interaction Overview Diagram to Time Petri Net for Analysis and Verification of Embedded Real-Time Systems with Energy Constraints
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):
2013 ◽
Vol 12
(1)
◽
pp. 1-18
◽
Keyword(s):
1991 ◽
Vol 32
(1-5)
◽
pp. 111-118
◽
1997 ◽
Vol 30
(3)
◽
pp. 397-402
◽
Keyword(s):
2006 ◽
Vol 2
(2)
◽
pp. 189-200
◽