TTM/PAT: Specifying and Verifying Timed Transition Models
Keyword(s):
Keyword(s):
Keyword(s):
2008 ◽
Vol 42
(3)
◽
pp. 148-162
◽
2008 ◽
Vol 02
(02)
◽
pp. 207-233
1999 ◽
Vol 09
(07)
◽
pp. 1015-1037
◽
Keyword(s):