机译:安全关键系统中的软件安全建模方法
机译:安全关键系统中的软件安全建模方法科学出版物
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:基于生理学的药代动力学定量系统毒理学和安全性(PBPK-QSTS)建模方法用于预测人群和个人中阿米替林药代动力学的变异性和心脏安全性
机译:一种基于模型的方法,支持安全关键软件产品线工程中系统重用和安全创造的方法