退出
我的积分:
中文文献批量获取
外文文献批量获取
韩志耕; 石青山; 杨鹏; 陈耿; 范远哲;
南京审计大学信息工程学院;
江苏省审计信息工程重点实验室(南京审计大学);
不可否认协议; 形式化分析; ZQZ逻辑; 时限性; 时间表达式; 逆向工程;
机译:形式方法在生物管理网络中的应用:用时间逻辑扩展托马斯的异步逻辑方法
机译:使用排他逻辑和扩展到快速(4,n)阈值秘密共享方法和(k,n)阈值方法
机译:使用正式概念分析方法构建和扩展描述逻辑本体论文摘要
机译:基于扩展鲁宾逻辑的电子商务协议分析
机译:Web应用程序运行时验证的正式框架:范围扩展的线性时间逻辑支持的方法
机译:扩展Peters–Belson方法以使用调查数据进行逻辑回归来估计多个群体之间的健康差异
机译:最近的成功与逻辑逻辑推理的元逻辑方法(扩展摘要)
机译:协议分析中的逻辑方法。
机译:设计电路系统,扩展现有方法以评估电路设计的可行性,执行电路设计的可行性评估,完善电路设计的第一决策规则,形成电路设计的第二决策规则的方法电路设计,用于为多个预先设计的电路块组织设计者的经验数据,提高胶粘逻辑分配效率,并在设计块之间分配胶粘的多个逻辑元素,并分配胶粘逻辑以在集成电路设备设计中执行方案,转换特定于电路块的接口,选择电路收集器,设计一种包含使能设备测试以验证a正确操作的设备,并开发行为测试台,项圈接口和接口系统
机译:可编程逻辑控制器的网络扩展方法和使用该方法的网络扩展系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。