An Abstraction-Refinement Theory for the Analysis and Design of Real-Time Systems
2017 ◽
Vol 16
(5s)
◽
pp. 1-20
◽
Keyword(s):
Keyword(s):
Keyword(s):
2007 ◽
Vol 182
◽
pp. 107-122
◽
Keyword(s):
Keyword(s):
Keyword(s):
2017 ◽
Vol 7
(5)
◽
pp. 148-155