Safety aspects of generic real-time embedded software model checking in the fuzing domain
2011 ◽
pp. 2678-2684
◽
Keyword(s):
Keyword(s):
Keyword(s):
2015 ◽
Vol 5
(2)
◽
pp. 373-402
◽
2006 ◽
Vol 157
(1)
◽
pp. 77-94