共 18 条
- [1] [Anonymous], 0056 UK MIN DEF
- [2] Berthold R., 2014, 33 IEEE AIAA DIG AV
- [3] Clothier R, 2015, 16 AUSTR INT AER C
- [4] Denney Ewen, 2013, Computer Safety, Reliability and Security. 32nd International Conference, SAFECOMP 2013. Proceedings: LNCS 8153, P21, DOI 10.1007/978-3-642-40793-2_3
- [5] Denney Ewen, 2012, Computer Safety, Reliability, and Security. Proceedings of the 31st International Conference, SAFECOMP 2012, P1, DOI 10.1007/978-3-642-33678-2_1
- [6] Denney Ewen, 2012, Computer Safety, Reliability,and Security. Proceedings of SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE, P8, DOI 10.1007/978-3-642-33675-1_2
- [7] Denney E., 2015, 34 INT C CO IN PRESS
- [8] Denney E., 2015, 33 INT SYST IN PRESS
- [9] Formal Foundations for Hierarchical Safety Cases [J]. 2015 IEEE 16TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE), 2015, : 52 - 59
- [10] Denney E, 2014, LECT NOTES COMPUT SC, V8666, P294, DOI 10.1007/978-3-319-10506-2_20