立即下载标准文件- T/CIE 092-2020 自旋转移矩磁随机存储器测试方法
- T/CIE 059.6-2019 彩电行业智能工厂 整机在线测试要求
- T/CIE 059.10-2019 彩电行业智能工厂 智能物流建设技术规范
- T/CIE 059.9-2019 彩电行业智能工厂 整机生产数据采集技术规范
- T/CIE 059.8-2019 彩电行业智能工厂 整机生产车间通用要求
- T/CIE 059.5-2019 彩电行业智能工厂 生产设备管理规范
- T/CIE 059.7-2019 彩电行业智能工厂 整机生产车间可视化要求
- T/CIE 059.3-2019 彩电行业智能工厂 模组生产车间通用要求
- T/CIE 059.1-2019 彩电行业智能工厂 车间能源管理规范
- T/CIE 059.4-2019 彩电行业智能工厂 模组生产数据采集技术规范
T/CIE 095-2020 区块链智能合约形式化表达
标准编号：T/CIE 095-2020
标准名称：区块链智能合约形式化表达
英文名称：Formal expression of blockchain smart contract
发布日期：2020-12-21
实施日期：2021-01-01
团体名称：中国电子学会
起草人
朱岩、秦博涵、何啸、王迪、孙贻滋、郭倩、宋伟静、王晟典、洪京一、姚前、蒋国庆、李冀宁、刘国伟、伊然、冯荣权、张韬、胡凯、徐双泉、韩心慧、英伟、甘国华
起草单位
北京科技大学、北京大学、北京市经济和信息化局、北京市社会公信建设促进会、天津蛟图信息科技有限责任公司、北京航天航空大学、中化能源股份有限公司、北京文章无忧信息科技有限公司、贝壳找房（北京）科技有限公司、京东数字科技集团
标准范围
本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。
本文件适用于通用智能合约设计、开发和使用，也可为区块链厂商和用户构建智能合约平台参考。