关键词: 高加速应力筛选  早期缺陷  步进应力试验  激发故障  安全性验证  

2019年第05期 《电子产品可靠性与环境试验》

关键词: 热塑性聚氨酯  道康宁公司  皮肤接触  安全性验证  智能手表  电子产品  追踪器  

2016年第01期 《化学推进剂与高分子材料》

关键词: 安全性验证  机扑系统  mds  模式检测器  

2009年第05期 《信息技术与网络安全》

关键词: 开大孔的环形管板  近似计算  应力校核  安全性验证  

2007年第01期 《石油化工设备技术》

关键词: 软件工程  软件演化  实时系统  形式化方法  安全性验证  软件测试  安全性测试  

2014年第01期

关键词: 军用涡扇发动机  适航  试飞  安全性要求  安全性验证  

2018年第02期 《航空标准化与质量》

关键词: 自主车辆  安全性验证  粘性解  可达集  

2018年第02期 《广西大学学报·哲学社会科学版》

关键词: 安全性验证  无人驾驶  技术  智能驾驶  行驶  

2018年第05期 《汽车观察》

关键词: 高空作业平台  安全性验证  验证标准  配套使用  作业人员  作业问题  起升高度  工作平台  

2018年第03期 《工程机械与维修》

关键词: 安全性验证  混合系统  安全等级  可达集  哈密顿雅可比方程  

2018年第20期 《科学技术与工程》

关键词: 智能交通  安全性验证  可达集  自主车辆  混合系统  

2019年第01期 《科学技术与工程》

关键词: 无人机网络  通信安全  拜占庭将军问题  安全性验证  

2018年第10期 《通信技术》

关键词: 网络  信息传输  安全性验证  

2018年第03期 《计算机仿真》

关键词: 安全关键系统  slim语言  f  promela语言  安全性验证  模型检测  

2017年第10期 《小型微型计算机系统》

关键词: 航空电子设备  安全性验证  

2017年第08期 《电子技术与软件工程》

关键词: 嵌入式系统  安全性验证  altarica模型  promela模型  

2017年第01期 《计算机科学与探索》

关键词: 计算机联锁  城轨  数据安全  数据建模  安全性验证  进路防护  

2016年第08期 《铁道学报》

关键词: 电子商务  安全性  安全性验证  

2007年第03期 《科技广场》

关键词: 双排平行  安全性验证  控制措施  

2007年第03期 《福建建材》

关键词: 语境判定树  安全性验证  工作流系统  多角色协同  元模型  

2015年第13期 《现代电子技术》