Derivation of the Cascade Parallel Composition of Timed Finite State Machines Using BALM-II
2017 ◽
Vol 51
(7)
◽
pp. 507-515
◽
Keyword(s):
2018 ◽
Vol 30
(1)
◽
pp. 25-40
◽
2017 ◽
Vol 29
(3)
◽
pp. 233-246
Keyword(s):
2016 ◽
Vol 23
(6)
◽
pp. 715-728