安全管理网

　安全动态　安全法规　安全管理　安全技术　事故案例　操作规程　安全标准
　安全教育　环境保护　应急预案　安全评价　工伤保险　职业卫生　文化|健康
　管理体系　文档|论文　安全常识　工 程 师　安全文艺　培训课件　管理资料
　煤矿　化工　建筑
　机械　电力　冶金
　消防　交通　特种
　论坛　活动　视频
　问答　投稿　MSDS
　签到　超市　招聘
动态
法规
管理
技术
案例
超市
标准
课件
签到
教育
规程
预案
评价
工伤
职业卫生
环保
健康
体系
文档
论文
常识
工程师
文艺
视频
   
现行
打印本文内容
导航：安全管理网>> 安全标准>> 协会标准>>正文

区块链智能合约形式化表达

标 准 号： T∕CIE 095-2020
替代情况：
发布单位： 中国电子学会
起草单位： 北京科技大学、北京大学
发布日期： 2020-12-21
实施日期： 2021-01-01
点 击 数：
更新日期： 2026年03月28日
下载地址：点击这里 335.73 KB
下载点数：30点（VIP会员免费）
内容摘要

本文件规定了智能合约语言的结构和语法，界定了有关术语和定义。


上一篇： 能量回馈式整车动力学控制系统 性能要求…
下载地址（请点击下面地址下载）
  • 下载地址1
    • *本标准来自网友lswnx分享，只作为网友的交流学习之用。
  • Tag:协会标准相关内容
  • 能量回馈式整车动力学控制系统 性能要求及台架试验方法
  • 能量回馈式整车动力学控制系统耐久 性能要求及台架试验方法
  • 汽车紧固件用耐热钢技术条件
  • 电动汽车整车控制器测试评价规范
  • 电动汽车CAN总线故障诊断服务规范
    • 网友评论 more
    协会标准最新内容

  • 03-28区块链智能合约形式化表达
  • 03-28能量回馈式整车动力学控制系统 性能…
  • 03-28能量回馈式整车动力学控制系统耐久 …
  • 03-28汽车紧固件用耐热钢技术条件
  • 03-27电动汽车整车控制器测试评价规范
  • 03-27电动汽车CAN总线故障诊断服务规范
  • 03-27汽车气候老化 术语和定义
  • 03-27乘用车车身试验舱加速腐蚀试验方法
    • 协会标准热点内容

  • 1614热门新型冠状病毒感染的肺炎传染病应急医…
  • 1176热门项目监理机构人员配置标准（试行)（…
  • 739燃气用埋地聚乙烯(PE)管件
  • 581新能源汽车空调用电动压缩机总成
  • 361城市直升机起降点建设管理指南
  • 322灌溉管道量水技术规范
  • 301化工企业变更管理实施规范
  • 282风力发电机组 叶片螺栓组件
    • 创想安科网站简介会员服务广告服务业务合作提交需求会员中心在线投稿版权声明友情链接联系我们