共 21 条
[1]
Basri S, 2010, COMM COM INF SC, V99, P153
[2]
Safety and Assurance Cases: Past, Present and Possible Future - an Adelard Perspective
[J].
MAKING SYSTEMS SAFER,
2010,
:51-67
[3]
Chen Y., 2013, LECT NOTES COMPUTER, P87
[4]
Gamma E., 1994, Design patterns: elements of reusable object-oriented software
[5]
GSN Community Standard Std, 2011, GSN COMM STAND STD R
[6]
Arguing for Software Quality in an IEC 62304 Compliant Development Process
[J].
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II,
2010, 6416
:296-311
[7]
ISO, 2006, IEC 62304:2006/Amd 1:2015
[9]
Kelly T., 2008, SAFETY CRITICAL SYST, V17, P31
[10]
Kelly T. P., 1997, SAFECOMP 97. 16th International Conference on Computer Safety, Reliability and Security, P55