共 9 条
[1]
Al-Kuwaiti M., 2011, IEEE COMMUNICATIONS, V11, P106
[2]
[Anonymous], 2011, PLATF SEC INT CRIT I
[3]
[Anonymous], 2004, PROC HAWAII INT CONF, DOI DOI 10.1109/HICSS.2004.1265180
[4]
SAFETY-CRITICAL SYSTEMS, FORMAL METHODS AND STANDARDS
[J].
SOFTWARE ENGINEERING JOURNAL,
1993, 8 (04)
:189-209
[5]
Knight JC, 2004, LECT NOTES COMPUT SC, V3069, P51
[6]
Peerenboom J., 2007, P 40 ANN HAW INT C S, P112
[7]
Stouffer K., 2011, NIST SPECIAL PUBLICA, V800-82
[8]
United Nations General Assembly Development and International Co-operation: Environment, 1987, A42427 UN GEN ASS DE