共 173 条
[61]
Gupta MS, 2009, DES AUT TEST EUROPE, P160
[63]
Hazelwood K., 2014, P 2004 INT S LOW POW, P326
[65]
Henkel J., 2011, 2011 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), P69
[67]
Executable assertions for detecting data errors in embedded control systems
[J].
DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS,
2000,
:24-33
[69]
Hoffmann H, 2012, DES AUT CON, P259