退出
我的积分:
中文文献批量获取
外文文献批量获取
张敏; 冯登国; 陈驰;
中国科学院软件研究所信息安全国家重点实验室;
北京;
100190;
安全策略模型; 安全功能测试; 测试用例生成; 自动化测试; 基于类型的划分;
机译:基于驱动器的安全性进步:安全性发展通常会增加机器的复杂性和成本。 Lenze说,与驱动器相关的安全功能可以帮助降低成本
机译:通过安全功能运动测试的裂缝功能风险:安全功能运动测试的简短版本
机译:基于系统测试的使用方法的优先级测试用例生成方法的提议
机译:基于PLCOPEN安全功能块的验证和验证UPPAAL定时自动机的基于PLCOPEN安全功能块
机译:基于马尔可夫链和似然性的自动测试用例生成,验证和优先级排序的模型方法:理论与应用。
机译:通过安全的功能运动测试确定骨折的功能风险:安全功能运动测试的简短版本
机译:用于安全应用标准的补充失效模式和效果分析(FMEA)DIN EN ISUPPRINCERY MODE和效果分析(FMEA)安全应用标准DIN EN ISO 13849安全功能-FMEAO 13849安全功能-FMEA
机译:aLWR安全方法和趋势。在设计中实施被动安全功能
机译:可验证智能手机的,基于荧光的安全功能和验证设备可验证智能手机的,基于荧光的安全功能和验证设备
机译:价值和/或安全产品的安全功能,展示价值和/或安全产品的安全功能以及生产安全功能的方法
机译:基于模型的控制设备的测试用例生成设备和测试用例生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。