机译:NuSEE:NPP安全关键系统的软件规范和V&V集成环境
机译:用于NPP动态警报处理系统的知识获取和验证的集成知识库开发工具
机译:用于NPP安全系统的具有CASE工具的基于模型的软件开发过程
机译:NPP中基于计算机的安全系统的开发的综合工具环境的资格
机译:在基于计算机的查询环境中,心智模型的开发和因果系统的推理。
机译:通过道路安全数据集成商(RSDI)工具集成了公路安全信息系统(HSIS)数据集
机译:作为综合质量 - 环境 - 安全系统一部分的创新管理系统模型的开发和运作
机译:核电厂计算机安全系统环境资质的技术基础