EN50128-2001; WeFA; Simulation; conformance;
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:用于评估安全关键软件加权因子分析的符合性的铁路信号系统模型安全标准
机译:安全关键系统的基于模型的可用性分析:正式方法框架。
机译:疫苗安全监视系统:美国疫苗安全数据链路快速周期分析功能开发中的关键要素和经验教训
机译:基于系统模型和软件模型共分析的安全关键系统软件FMEA