科学技术奖
-
-
-
-
-
-
-
-
-
-
获奖年度:2021面向工业领域的软件形式化建模与自动化测试关键技术及工具国产化应用
2021年CCF科学技术奖技术发明一等奖完成单位:华东师范大学、上海工业控制安全创新科技有限公司、卡斯柯信号有限公司、工业和信息化部电子第五研究所
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-