退出
我的积分:
中文文献批量获取
外文文献批量获取
肖美华; 尹传文; 舒良春; 胡波; 邹芳红;
南昌大学信息工程学院;
先锋软件股份有限公司;
形式化方法; 模型检测; Java路径探测器; 深度优先搜索; 启发式搜索;
机译:Java Pathfinder的JPF-NAS扩展
机译:Java Pathfinder(JPF)核心系统
机译:关于基于访问许可的规范用于程序验证的调查
机译:使用JPF和Maude测试并发Java程序的分而治之方法
机译:使用基于Java的GUI软件r-Java进行r-过程核合成的研究
机译:氟唑嗪和牛瘟穿孔蛋白酶与Muroidogyne javanica javanica javanica javanica和M.Inmognita的孢子粘附性与脊椎蛋白酶的相容性
机译:JpF-sE:Java pathFinder的符号执行扩展
机译:基于JaVa和JaVa servlet的基于Web的供应中心物料请求和跟踪(smaRT)系统的设计与实现
机译:在基于Java的复合应用程序中使用基于Java的对象表示法(JSON)桥进行基于非Java的组件通信的增强型开发工具
机译:增强的开发工具,用于利用javascript对象表示法(JSON)桥进行基于Java的复合应用程序中非基于Java的组件通信
机译:程序验证装置和方法,以及基于程序验证的签名系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。