退出
我的积分:
中文文献批量获取
外文文献批量获取
齐建业; 李强; 余祥;
电子工程学院;
协议; 一致性测试; 测试用例; 形式活动图;
机译:UML活动图的基于可扩展性的测试用例生成
机译:高效的测试用例生成,用于验证UML活动图
机译:基于代理的回归测试用例生成使用类图,用例和活动图
机译:LC-Sim:用于评估基于位置一致性的缓存协议的仿真框架
机译:使用飞行时间正电子发射断层扫描数据一致性条件过滤的活动图像和衰减正弦图联合估计
机译:基于UML活动图的测试用例生成器
机译:第4层(sp4)的sDNs安全协议的协议实施一致性声明(pICs)形式。
机译:使用重试总线一致性协议和有序响应非重试总线一致性协议来防止基于处理器的系统中的死锁
机译:避免在使用重试总线一致性协议和有序响应非重试总线一致性协议的基于处理器的系统中出现死锁
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。