机译：基于软件检查，需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译：分析安全关键控制系统中数据错误的影响
机译：基于FSM的监视技术，用于区分安全关键型分布式嵌入式系统中的后续错误和原始错误
机译：分析安全关键型嵌入式系统中的软件需求错误
机译：对嵌入式系统中的安全关键要求进行计算机辅助的经济有效的验证。
机译：DtaRefinery从串联质谱数据集中消除母体离子质量测量中的系统误差的软件工具
机译：一种分析安全关键控制系统数据误差影响的控制理论方法
机译：分析安全关键嵌入式系统中的软件需求错误
