Probabilistic logic; Safety; Standards; Sorting; Software algorithms; Software; Certification;
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:适用于安全关键型应用的基于实时内核的可编程逻辑控制器的软件认证:工具和技术
机译:安全有效地利用安全关键系统中启用了学习的组件
机译:安全关键汽车应用软件故障安全技术调查
机译:安全关键型计算机控制系统的软件生命周期和分析技术。
机译:异步准延迟不敏感的多数选民对应于Quintuple模块化冗余的任务/安全关键应用程序
机译:利用机器学习优化技术提高安全关键系统的系统可靠性评估
机译:将无限状态模型检验及其他分析技术应用于安全关键系统的表格要求规范