Specification of timed finite state machine in Z for distributed real-time systems
Keyword(s):
2002 ◽
Keyword(s):
2020 ◽
Vol 5
(1)
◽
pp. 74-85
Keyword(s):
2019 ◽
Vol 47
(4)
◽
pp. 1878-1883
◽
Keyword(s):
Keyword(s):
Keyword(s):
Keyword(s):