关注微信
关注微博
近日，由北京航空航天大学牵头制定、我省参与编制的《区块链智能合约形式化设计与验证方法》(T/CIE130-2022)团体标准获得中国电子学会批复，将由中国标准化出版社正式出版。
据悉，该标准联合北京科技大学、北京邮电大学、北京航空航天大学云南创新研究院、省区块链应用技术重点实验室、省区块链和数字科技标准化技术委员会、省数字经济产业投资集团有限公司、云南云上云信息化有限公司等单位参与编制，使基于区块链的智能合约设计与验证流程各阶段具有规范性、方法性和可操作性，为使用形式化方法解决智能合约设计与开发、验证等过程提供了统一标准。(记者 李承韩)
责任编辑：刘兵兵
免责声明：云南经济新闻网（《云南经济日报》）内容来源于本报和互联网，如媒体、公司、企业或个人对该部分主张知识产权，请来电或致函告之，本网站将迅速采取适当措施，否则，与之有关的知识产权纠纷本网站不承担任何责任。
- 推荐
- 新闻
- 财经
- 法制
- 文旅
- 教育
- 汽车
- 房产
通过党员带头，引导沿江9个村民小组的群众利用撂荒土地，不断扩大小米芭蕉种植面积，目前普棚村小米芭蕉种植规模达3100亩，成为当地群众可持续增收的有效途径。
2024年02月28日 13:20
近年来，云南省着眼构建持久风清气正的政治生态，全面建设清廉云南，推进边疆民族地区管党治党省域实践，为全省迈稳“3815”战略发展目标“三年上台阶”第一步提
2024年02月28日 11:45
作为一名全国人大代表、一名一线科研人员，云南植物药业有限公司研究院院长黄春球最近正准备把加快云南省中药（民族药）高质量发展的建议和群众关心的问题，带到
2024年02月28日 11:40
近日，省人大常委会主任会议通过了云南省人大常委会2024年度工作要点和立法、监督、代表工作计划，从坚持党的全面领导、增强立法质效、提高监督水平、保障代表履
2024年02月28日 11:26
