机译:工程安全的形式化分析和设计,可从面向目标的安全要求中自动得出正式的软件安全规范
机译:验证软件产品线伪影:支持功能模型检查的清单
机译:实施化学疗法命令和管理清单确保遵守国家化学疗法指南
机译:使用指导检查表进行软件检查以确保安全目标
机译:确保RFID系统中特定于应用程序的安全性,隐私和性能目标
机译:目标导向的机械通风:我们是否瞄准正确的目标?以急性呼吸衰竭食管压力为指导针对最佳肺顺应性的替代方法的提案
机译:信息安全标准目标的影响确保信息安全
机译:附件:检查清单。内华达州国家安全网站上纠正行动单位的封闭后检查信报告。 2011年日历年。