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

文件格式： PDF文档
文件大小： 382.73 KB
语言版本： 简体中文
标准类别： 团体标准
关键词： 合约   智能   表达   形式化   区块
进入标准下载页面

标准简介

说明：本站提供 T/CIE 095-2020 区块链智能合约形式化表达 的PDF全文下载。

适用范围：本标准对区块链智能合约形式化表达的技术管理提出了具体要求，为团体标准的工程项目提供技术依据。

相关推荐