退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:SOLC验证:用于稳定性智能合同的模块化验证器
Ákos Hajdu; Dejan Jovanović;
机译:与事件的正式规范和核实固体合同(短文)
机译:规则制:用于固定智能合同的突变测试工具
机译:使用以太坊智能合约构建游戏:面向实体开发人员的中间项目
机译:智能电网P2P能源交易智能合同:以外型实施和绩效评估
机译:基于智能合约的可靠任务管理用于物联网环境中传感和激励任务的运行时验证
机译:偏离:固定智能合同的突变测试工具
机译:在使用区块链智能合约对生产过程和产品检验进行了验证的情况下,对经过种族验证的产品进行供应链融资的系统和方法
机译:在使用区块链智能合约对生产过程和产品检验进行了验证的情况下,对经过伦理验证的产品进行供应链融资的系统和方法
机译:用于验证智能合同的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。