退出
我的积分:
中文文献批量获取
外文文献批量获取
李耀;
西南交通大学;
铁路信号系统; 安全关键; 软件建模;
机译:安全关键计算系统中的软件安全建模方法
机译:安全关键计算系统中软件安全建模的方法论
机译:安全关键系统中的软件安全建模方法
机译:用于评估安全关键软件加权因子分析的符合性的铁路信号系统模型安全标准
机译:使用错误传播信息增强安全关键系统的危害分析方法
机译:敏捷方法的开源安全关键软件
机译:一种在安全关键系统中建模软件安全的方法
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件
机译:软件行为建模设备,软件行为建模方法,软件行为验证设备和软件行为验证方法
机译:软件操作建模装置,软件操作监视装置,软件操作建模方法和软件操作监视方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。