An efficient approach for verifying automobile distributed application systems on timing property
1997 ◽
Vol 29
(16)
◽
pp. 1869-1879
◽
2007 ◽
Vol 2007
(0)
◽
pp. _2A1-L10_1-_2A1-L10_4
Keyword(s):
2003 ◽
Vol 14
(2)
◽
pp. 141-147
1998 ◽
Vol 49
(12)
◽
pp. 1270-1277
◽