退出
我的积分:
中文文献批量获取
外文文献批量获取
饶畅; 李楠; 张亚东; 郭进; 李耀;
西南交通大学信息科学与技术学院 四川成都611756;
电子科技大学光电科学与工程学院 四川成都611731;
安全关键软件; 基于模型的测试; 组合测试; 测试序列约简; 二进制粒子群优化;
机译:基于相似关系的变精度多粒度粗糙集的约简约简
机译:可计算集上的Q-约简和m-约简
机译:关于Davis-Putnam的约简条款集的约简
机译:用于评估安全关键软件加权因子分析的符合性的铁路信号系统模型安全标准
机译:GTA VP2:在安全关键方案下的多代理车辆轨迹预测的数据集
机译:基于粗糙集和证据理论的超集学习特征约简
机译:软件集参数约简算法
机译:KaERI软件安全指南,用于开发核电站数字仪表和控制系统中的安全关键软件
机译:铁路信号技术中在线更新安全关键软件的方法
机译:在安全关键型铁路应用中使用故障安全电压传感器验证履带状态的铁路信号通信系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。