Model-Based Testing of Safety Critical Real-Time Control Logic Software
2012 ◽
Vol 80
◽
pp. 130-144
Keyword(s):
1999 ◽
Vol 12
(1)
◽
pp. 87-101
◽
Keyword(s):
2007 ◽
Vol 51
(1)
◽
pp. 45-63
◽
Keyword(s):
Keyword(s):
1996 ◽
Vol 26
(4)
◽
pp. 470-482
◽
Keyword(s):
1994 ◽
Vol 32
(sup1)
◽
pp. 35-43
◽
Keyword(s):
2016 ◽
Vol 10
(10)
◽
pp. 1-11