退出
我的积分:
中文文献批量获取
外文文献批量获取
苏焕程;
南京航空航天大学;
Web服务组合技术; 业务流程执行语言; UML顺序图; 接口自动机; 适配器构造算法;
机译:BPEL4WS中基于接口理论的编排形式化和验证
机译:基于元胞自动机的城市增长模型仿真的部分验证:一种使用空间方法评估因素影响的方法
机译:一种基于I / O自动机的方法来验证组件兼容性:在CyCab汽车上的应用
机译:一种基于一致性的方法来获得定时自动机规范的有效测试用例
机译:一种使用Diffie Hellman质询握手身份验证协议和PCI Express主机总线适配器保护存储区域网络的方法。
机译:基于扩展层次有限状态自动机的服务一致性演化动态定量分析方法
机译:基于模态接口自动机的软件产品线I / O一致性测试理论
机译:一种基于规则的专家系统验证完整性和一致性的方法
机译:设计电路系统,扩展现有方法以评估电路设计的可行性,执行电路设计的可行性评估,完善电路设计的第一决策规则,形成电路设计的第二决策规则的方法电路设计,用于为多个预先设计的电路块组织设计者的经验数据,提高胶粘逻辑分配效率,并在设计块之间分配胶粘的多个逻辑元素,并分配胶粘逻辑以在集成电路设备设计中执行方案,转换特定于电路块的接口,选择电路收集器,设计一种包含使能设备测试以验证a正确操作的设备,并开发行为测试台,项圈接口和接口系统
机译:基于动作码的路由器数据转发行为一致性验证方法及装置
机译:基于动作编码的路由数据转发行为一致性验证方法及装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。