机译:基于SMV模型的软件需求安全性分析
Department of Nuclear and Quantum Engineering, Korea Advanced Institute of Science and Technology, 373-1, Cuseong-dong, Yuseong-gu, Daejeon 305-701, Republic of Korea;
fault tree analysis (fta); symbolic model verifier (smv); safety analysis;
机译:基于SMV模型的软件需求安全性分析
机译:基于软件检查,需求可追溯性和正式规范的NPP安全关键系统的软件需求分析的有效技术
机译:通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译:基于SMV模型的软件需求安全性分析
机译:通过系统软件分析对智能系统进行性能,安全性和安全要求测试
机译:开发安全胰岛素泵软件的通用安全要求
机译:通过将赛事-b转换为SMV将定理证明和模型检查在安全关键软件开发中结合
机译:safety-Critical211软件需求分析与安全分析的集成