AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
林若钦; 罗琼;
广州大学华软软件学院 广东广州510990;
节点逻辑; 逻辑度优化; 软件测试; 序列生成;
机译:基于规范的命题逻辑测试序列生成
机译:采用蛾火焰优化算法基于状态测试的最佳测试序列生成
机译:用于可编程逻辑控制器一致性测试的单输入更改测试序列的生成
机译:用于基于状态的软件测试的测试序列生成的蚁群优化方法
机译:基于仿真和模糊逻辑的工业车间调度优化
机译:计算机辅助设计/计算机辅助制造软件的基于表面的配准函数在医学仿真软件中用于正颌外科手术三维仿真的用途
机译:基于规范逻辑的命题逻辑测试序列生成
机译:基于随机优化方法和软件的环路仿真动态间隙特性评估
机译:基于仿真的逻辑验证和输入方式的输入字符串中的自动生成方法,以及状态切割时间序列的设备空值,以便为该逻辑验证生成设备和输入字符串
机译:基于场景规范的自动测试软件生成工具,用于在仿真和仿真平台上验证芯片上系统
机译:通过逻辑仿真生成优化电路的方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。