退出
我的积分:
中文文献批量获取
外文文献批量获取
任胜兵; 吴斌; 张健威; 王志健;
中南大学软件学院;
长沙410005;
路径验证; 控制流图; 决策树; 基本路径; 可满足性模理论求解器;
机译:基于可满足性模理论求解器的有效测试用例,用于面向服务的工作流应用程序
机译:通过可满足性模路径程序进行程序分析
机译:ToolBus框架中的分布式可满足性模理论求解器的原型实现
机译:使用可满足性模理论求解器为无限值逻辑构建自动定理证明
机译:基于电路的布尔可满足性求解器及其应用。
机译:基于交错网格有限差分法的声波导本征模求解器
机译:通过可满足模路径程序进行程序分析
机译:基于可满足模理论方法的模糊逻辑控制器稳定性分析。
机译:基于可满足性模块理论的基于程序的电源管理装置,电源系统及电源管理方法
机译:基于可满足模差逻辑求解器确定集成电路混合制造过程计划的系统和方法
机译:利用数据限定符信号改进基于输入设计生成的布尔可满足性求解器的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。