退出
我的积分:
中文文献批量获取
外文文献批量获取
王艳臣; 李必信; 戴君;
东南大学计算机科学与工程学院;
江南大学控制科学与工程研究中心电气自动化研究所;
可达性测试; 多线程; 扩展同步序列;
机译:使用扩展PetRinet进行Java多线程程序的扩展Petrinet试验制造调试支持工具
机译:调试支持工具的原型,该原型使用用于Java多线程程序的扩展petrinet的执行复制来执行
机译:Java多线程程序的可达性测试框架
机译:基于定制和模型的与Java多线程相关的缺陷检测。
机译:使用基于FACS的组学分析扩展FUCCI报告程序的实用程序
机译:用于调试以通过Petri-net再现Java多线程程序的支持方法的提议
机译:通过图形可达性进行程序分析
机译:可达性测试方法,网络网络中节点对之间的测试程序和测试系统
机译:基于自动机的交互式扩展有限状态机状态可达性的方法和系统
机译:利用插件扩展测试驱动程序功能的基于计算机的测试方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。