机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:基于软件检查,需求可追溯性和容错性,分析安全关键系统软件需求的集成技术。
机译:系统安全要求:用于早期识别,规范和测量相关软件要求的框架
机译:基于软件安全需求评估的嵌入式软件测试框架
机译:“需求推荐器”:在可持续软件项目的需求工程中使用多个标准推荐器系统的拟议框架
机译:搜集有关慈善食品援助系统符合非洲及世界其他地区安全和一般卫生要求的证据:系统的范围界定审查协议
机译:安全关键计算机系统中软件安全的方法框架