共 7 条
[1]
AHLSTROM K, 2001, P 20 DIG AV SYST C
[2]
BRIERE D, 1993, P 23 INT S FAULT TOL, P616, DOI DOI 10.1109/FTCS.1993.627364
[3]
HALL KO, 1992, IEEE AES SYSTEMS JUN, P21
[4]
Executable assertions for detecting data errors in embedded control systems
[J].
DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS,
2000,
:24-33
[5]
KOPETZ H, 1993, IEICE T INF SYST, VE76D, P1325
[7]
TORIN J, 1999, SPACE TECHNOLOGY, V19, P199