...
机译:安全关键系统中的软件安全建模方法
Department of Computer Science and Systems Engineering Andhra University, Visakhapatnam-530 003, India;
rnDepartment of Computer Science and Systems Engineering Andhra University, Visakhapatnam-530 003, India;
software safety; safety-critical system; software quality;
机译:安全关键系统中的软件安全建模方法科学出版物
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:基于系统模型与软件模型协同分析的安全关键系统软件FMEA
机译:安全关键系统正确性的正式组建验证方法:基于模型检查的方法方法,可自动验证安全关键系统软件
机译:使用安全关键技术验收模型对自治车辆安全关键系统的人体信任的定量研究
机译:敏捷方法的开源安全关键软件
机译:一种在安全关键系统中建模软件安全的方法