退出
我的积分:
中文文献批量获取
外文文献批量获取
赵颖琪; 朱雪阳; 李广元; 包玉龙;
计算机科学国家重点实验室(中国科学院软件研究所);
中国科学院大学;
智能合约; 时间约束模式; 模型检测; SOLIDITY; 形式化方法;
机译:区块链智能合约的形式化:解决漏洞的方法和挑战
机译:使用形式化模式验证和验证汽车控制软件的工具集
机译:智能合约的验证与验证:研究议程
机译:迈向以太坊智能合约的验证:稳固性核心的形式化
机译:属性规范模式的形式化和验证。
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:通过博弈论和形式化方法验证去中心化智能合约
机译:支持可靠分布式系统的建筑模式的形式化验证
机译:基于属性点的时间约束形式化验证
机译:通过使用区块链智能合约执行(DLT)的区块链智能合约来实施基于角色的访问控制和授权验证器的系统,方法和装置
机译:使用综合约束驱动器进行形式化单向总线验证的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。