返回首页
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
CCF科学技术奖
面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
完成单位：华东师范大学、上海工业控制安全创新科技有限公司、
卡斯柯信号有限公司、工业和信息化部电子第五研究所
主要完成人：何积丰、蒲戈光、缪炜恺、苏亭、周庭梁、刘奕宏
本项目针对控制软件的质量问题，形成了一套具有国际影响力的面向控制软件形式化建模、测试和验证的技术和工具，并在实际应用中发挥了重要作用，解决了若干关键质量问题。
<<< 上一篇
大规模智能云网络关键技术及平台
<<< 下一篇 专用处理器芯片自动设计技术与应用
读完这篇文章后，您心情如何？
推荐内容
More >>>- · 大数据、大算法、大模型与产业发展 | CCDE20
- · 智能汽车之产学研协同突破创新 | CCDE2023专
- · CCF C³-18@小红书：智能推荐与搜索丨开始报名
- · 数智新动能 产业新发展 | CCDE2023专题论坛
- · 数字孪生技术与产业发展 | CCDE2023专题论坛
- · CCF VC“劳模进校园”活动走进广东职业技术学
- · 金融信创、数字人民币及数据资产 | CCDE2023
- · 东数西算与城市算力网发展 | CCDE2023专题论
- · CCCF 2023年第3期出版——“知识图谱的开源与
- · CCF智慧交通分会首批执行委员名单发布
- · CCF邀你与数字经济领域专家和明星企业共商共
京公网安备 11010802032778号
所有评论仅代表网友意见