Formal Specification and Analysis of Intelligent Network Management System by Using Colored Petri Net
Keyword(s):
2009 ◽
Keyword(s):
2011 ◽
Vol 38
(8)
◽
pp. 10320-10342
◽
Keyword(s):
2019 ◽
Vol 2
(4)
◽
pp. 48-53