softwaresafety外文期刊合辑02
software safety 外文期刊合辑02
文件列表
Software Safety02.rar
(预估有个15文件)
(K)Ontario Hydro experience in the identification and mitigation of potential failures in safety critical software systems.pdf
777KB
(KKKKKKK)Requirements specification for process-control systems.pdf
2.4MB
(K)Dependability Metrics to Assess Safety-Critical Systems.pdf
429KB
(K)An Approach to Software Safety in Distribute System.pdf
1.2MB
(KKKKKKK)Proving the Shalls.pdf
1.55MB
(KK)A process for software requirements safety analysis.pdf
865KB
(KKKKKKK)Toward Automation for model checking requirement.pdf
584KB
(K)Challenges in software aspects of aerospace systems.pdf
164KB
(KKK)Using abstraction and model checking to detect safety violations in requirements specifications.pdf
1.37MB
(K)A systems-theoretic approach to safety in software-intensive systems.pdf
2.44MB
暂无评论