文件名称：software safety 外文期刊合辑02
文件大小：9.92MB
文件格式：RAR
更新时间：2014-03-07 08:55:43
software safety
software safety 外文期刊合辑02
【文件预览】：
(K)Ontario Hydro experience in the identification and mitigation of potential failures in safety critical software systems.pdf
(KKKKKKK)Requirements specification for process-control systems.pdf
(K)Dependability Metrics to Assess Safety-Critical Systems.pdf
(K)An Approach to Software Safety in Distribute System.pdf
(KKKKKKK)Proving the Shalls.pdf
(KK)A process for software requirements safety analysis.pdf
(KKKKKKK)Toward Automation for model checking requirement.pdf
(K)Challenges in software aspects of aerospace systems.pdf
(KKK)Using abstraction and model checking to detect safety violations in requirements specifications.pdf
(K)A systems-theoretic approach to safety in software-intensive systems.pdf
(K)Context-aware code certification.pdf
(KKK)UML-based safety analysis of distributed automation systems.pdf
(K)Assessment of safety-critical specifications.pdf
(K)Verification of Requirements for Safety-Critical Software.pdf
(K)An Approach To Modeling Software Safety.pdf