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

百检网 2022-11-01

标准简介

本文件规定了智能合约语言的结构和语法,界定了有关术语和定义。注: 本文提供的智能法律合约示例及智能合约示例,见附录A。本文件适用于通用智能合约设计、开发和使用,也可为区块链厂商和用户构建智能合约平台参考。
英文名称:Formal expression of blockchain smart contract
标准状态:现行
中标分类:电子元器件与信息技术>>信息处理技术>>L74程序语言
ICS分类:信息技术、办公机械设备>>35.060信息技术用语言
发布部门:中国电子学会
发布日期:2020-12-21
实施日期:2021-01-01
出版日期:2021-01-01
页数:24页

前言

程序语言相关标准

百检能给您带来哪些改变?

1、检测行业全覆盖,满足不同的检测;

2、实验室全覆盖,就近分配本地化检测;

3、工程师一对一服务,让检测更精准;

4、免费初检,初检不收取检测费用;

5、自助下单 快递免费上门取样;

6、周期短,费用低,服务周到;

7、拥有CMA、CNAS、CAL等权威资质;

8、检测报告权威有效、中国通用;

客户案例展示

  • 上海朗波王服饰有限公司
  • 浙江圣达生物药业股份有限公司
  • 天津市长庆电子科技有限公司
  • 上海纽特丝纺织品有限公司
  • 无锡露米娅纺织有限公司
  • 东方电气风电(凉山)有限公司