清华大学控制模型代码生成器的测试与认证技术服务中标公告

一、项目编号：清采招第20260044号（招标文件编号：清采招第20260044号）二、项目名称：清华大学控制模型代码生成器的测试与认证技术服务三、中标（成交）信息供应商名称：【登录查看】供应商地址：【登录查看】室中标（成交）金额：【登录查看】（万元）四、主要标的信息序号供应商名称服务名称服务范围服务要求服务时间服务标准1【登录查看】控制模型代码生成器的测试与认证技术服务详见招标文件为一款基于形式化验证的高可信代码生成器（即标的所指的控制模型代码生成器）提供测试与认证相关的技术服务等，具体详见采购需求自合同签订之日起3个月内完成控制模型...