...
机译:安全策略开发:建立生命周期和基于逻辑的验证模型科学出版物
机译:将安全特性嵌入到基于组件的软件开发模型中的意识科学出版物
机译:思想事实和预期燃料科学和宗教气候政策与排放能源安全能源技术IPCC批判与科学政治全球暖核发展的真实科学
机译:在软件开发生命周期中衡量软件产品质量:ISO标准观点|科学出版物
机译:关于基于逻辑验证的安全协议建模
机译:确保信息安全策略的有效性:信息安全策略模型的开发和验证
机译:加勒比卫生系统科学:加勒比地区糖尿病指导政策模型的开发和试点
机译:安全策略开发:建立生命周期和基于逻辑的验证模型