标准下载站
搜索
国家标准
行业标准
地方标准
团体标准
图集
首页
/
标签
/
形式化
标签筛选
钢铁
392
拖拉机
417
核桃
250
蔬菜
773
轮胎
325
电梯
585
框架
401
光纤
310
陶瓷
618
钢筋
210
电视
284
农药
1151
红茶
235
药材
576
机动车
302
锂离子
272
螺母
211
轴承
526
锅炉
644
潮州菜
264
螺栓
254
电源
438
苗木
352
接头
383
空调
362
烟气
256
辣椒
422
总成
238
形式化 第1页
更新日期 2026‑10‑15
标准号
标准名称
状态
发布日期
实施日期
T/CIE 095-2020
区块链智能合约
形式化
表达
现行
2020-12-21
2021-01-01
T/CIE 095-2020
区块链智能合约
形式化
表达
现行
2020-12-21
2021-01-01