Deductive verification of real-time systems using STeP
2001 ◽
Vol 253
(1)
◽
pp. 27-60
◽
Keyword(s):
2017 ◽
Vol 7
(5)
◽
pp. 148-155
2011 ◽
Vol 34
(5)
◽
pp. 943-950
◽
Keyword(s):