-
喜报|迪捷软件“ModelCoder 建模及形式化验证代码生成软件”荣登浙江省首版次产品目录
近日,浙江省经济和信息化厅公布《2023年浙江省首版次软件产品应用推广指导目录》,浙江迪捷软件科技有限公司的“ModelCoder 建模及形式化验证代码生成软件”经过多轮审核及专家评定被纳入目录。
2023-12-22 digiproto
-
迪捷软件荣登首版次产品目录
近日,浙江省经济和信息化厅公布的《2021年浙江省首版次软件产品应用推广指导目录》中,浙江迪捷软件科技有限公司的“天目全数字实时仿真软件 V3.5”榜上有名,成为2021年度绍兴市唯一入围软件产品。
2022-03-03 digiproto