暂无分享,去创建一个
We propose to validate experimentally a theory of software certification that proceeds from assessment of confidence in fault-freeness (due to standards) to conservative prediction of failure-free operation.
[1] Lorenzo Strigini,et al. Software Fault-Freeness and Reliability Predictions , 2013, SAFECOMP.