Towards parallel composition of partial finite state machines: Checking safety property step-by-step
Keyword(s):
Keyword(s):
2018 ◽
Vol 30
(1)
◽
pp. 25-40
◽
2017 ◽
Vol 51
(7)
◽
pp. 507-515
◽
2017 ◽
Vol 29
(3)
◽
pp. 233-246
Keyword(s):
2016 ◽
Vol 23
(6)
◽
pp. 715-728