退出
我的积分:
中文文献批量获取
外文文献批量获取
朱健; 胡凯; 张伯钧;
北京航空航天大学软件开发环境国家重点实验室 北京 100191;
形式化验证; 智能合约; 区块链; 隐私保护; 信息安全; 可信交易;
机译:区块链智能合约的形式化:解决漏洞的方法和挑战
机译:“智能合约”既不是智能合约也不是智能合约。讨论
机译:基于MARTE的模块化组合航空电子系统配置的形式化验证方法。
机译:区块链智能合约形式验证方法研究
机译:基于共识的分布式控制,用于智能电网中具有综合约束的经济调度问题。
机译:一种人机交互系统的形式化验证方法
机译:通过博弈论和形式化方法验证去中心化智能合约
机译:是国会的紫色承包智能合约
机译:区块链智能合约验证方法,装置及存储介质
机译:基于区块链智能合约的签名验证方法及系统
机译:区块链智能合约验证方法和装置以及存储介质
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。