AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于SYSML活动图的自动测试案例生成方法
Yufei Yin;
机译:TBFV-M:基于测试的系统活动图形式验证
机译:基于MDE的扩展SysML活动图安全验证方法
机译:使用深度优先搜索算法从UML活动图和序列图自动生成测试用例
机译:基于SYSML活动图的自动测试用例
机译:基于搜索的基于状态的组件的自动测试生成方法。
机译:全自动和可再现的水平集分割方法用于使用单个STE-MR成像方式在大脑中生成基于MR的PET图像的衰减校正图
机译:基于UML活动图的自动测试序列生成方面的方面的程序
机译:将状态流图语义转换为输入/输出扩展的有限自动机,并为Simulink /状态流图自动生成测试
机译:基于用例图的测试用例生成程序以及使用该程序的测试用例生成方法
机译:基于使用案例图的测试案例生成程序和使用该案例的测试案例生成方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。