Verification of large state/event systems using compositionality and dependency analysis
Keyword(s):
2014 ◽
Vol 36
(1)
◽
pp. 54-62
◽
Keyword(s):
Keyword(s):
1959 ◽
Vol 43
(247)
◽
pp. 165-168
2021 ◽
pp. 1-15
Keyword(s):