T/CIE 095-2020 区块链智能合约形式化表达

免费下载
本平台标准仅供学习参考,使用请以正式出版的标准版本为准。

标准号:T/CIE 095-2020

标准名称:区块链智能合约形式化表达

发布日期:2020-12-21

实施日期:2021-01-01

批发部门:中国电子学会

起草单位:北京科技大学,北京大学,北京市经济和信息化局,北京市社会公信建设 促进会,天津蛟图信息科技有限责任公司,北京航天航空大学,中化能源股份有限公司,北京文 章无忧信息科技有限公司,贝壳找房(北京)科技有限公司,京东数字科技集团

起草人:朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华。

声明:资源收集自网络分享,所提供的电子版文档仅供学习参考,如侵犯您的权益,请联系我们处理。

不能下载?报告错误