退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用符号模型检查调试智能合同的业务逻辑
E. Shishkin;
机译:动态认知逻辑的符号模型检查-S5及更高版本
机译:具有归纳谓词的符号堆分离逻辑的模型检查
机译:Rational Kripke模型时态逻辑的符号模型检查
机译:使用符号模型检查对化学过程进行事件建模和验证。
机译:ABS-SmartComAgri:无线传感器网络中基于代理的智能通信协议仿真器用于精密农业中的调试
机译:使用符号模型检查验证智能合同功能属性
机译:基于使用概率模型和模糊逻辑构建的理论和经验过程模型的业务过程行为一致性检查和诊断方法和系统
机译:基于概率模型和模糊逻辑构建的基于理论和经验过程模型的业务过程行为一致性检查和诊断方法及系统
机译:用于使用分布式分类帐为智能合约,链码或逻辑实现人工智能模型和客户模型的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。