软件需求形式化及形式化验证工具-结果公告
本软件需求形式化及形式化验证工具(招标项目编号:68),确定001 软件需求形式化及形式化验证工具:的中标人如下:
001软件需求形式化及形式化验证工具
本招标项目的监督部门为/。
招标人:中国商用飞机有限责任公司上海飞机设计研究院
地址:上海市张江金科路5188号
联系人:张老师
电话:
电子邮件:/
招标代理机构:上海博天堂918招标有限公司
地址:上海市长寿路285号恒达大厦20楼
联系人:叶子源
电子邮件:
招标人或其招标代理机构主要负责人(项目负责人):_______________(签名)
招标人或其招标代理机构:_______________(盖章)