退出
我的积分:
中文文献批量获取
外文文献批量获取
王璞巍; 杨航天; 孟佶; 陈晋川; 杜小勇;
中国人民大学信息学院 北京100872;
数据工程与知识工程教育部重点实验室(中国人民大学) 北京 100872;
区块链; 智能合约; 以太坊; 超级账本;
机译:区块链智能合约的形式化:解决漏洞的方法和挑战
机译:面向关联的数据库元模型(AssoBase)的形式化定义和建模语言
机译:“智能合约”既不是智能合约也不是智能合约。讨论
机译:面向代理的智能工厂(AOSF)的问题和域定义的形式化
机译:自动化的形式化分析,可实现智能电网安全性和弹性
机译:通过2014年英格兰GP合同实现面向社区的综合护理
机译:应用人工智能过程工程在线预测多元化经济指标的价值(第1部分:问题定义和数据域形式化)使用人工智能技术对多元化公司经济指标进行业务预测(第1部分:制定)主题领域的任务和形式化)
机译:面向对象的需求分析范式的形式化定义
机译:智能合同证券令牌实施基于智能合同的合规规则,参考基于智能合约投资者的全球登记处
机译:用于生成和自定义智能合约的智能合约平台
机译:自我监管的安全令牌实现基于智能合同的合规性规则,咨询投资者的智能合同的全球注册表
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。