softwaresafety外文期刊合辑01
software safety 外文期刊合辑01
文件列表
Software Safety01.rar
(预估有个18文件)
(F)NASA软件工程研究的特殊和苛刻要求.pdf
1.34MB
(ing)Probabilistic Model-Checking Support for FMEA.pdf
873KB
(K)A methodology for analyzing avionics software safety.pdf
894KB
(F)DO-178B and Safety-Critical.pdf
2.28MB
(F)Software intensive systems safety analysis.pdf
433KB
(F)Techniques for trusted software engineering.pdf
1.09MB
(ing)coverage metrics for requirements-based testing.pdf
191KB
(F)Do you trust your compiler.pdf
138KB
(K)A subjective methodology for safety analysis of safety requirements specifications.pdf
981KB
(F)A goal-oriented approach for safety requirements specification.pdf
773KB
用户评论