一、项目名称：中国民航大学系统芯片SoC时序分析设备、硬件形式化方法审定技术研究设备采购项目

二、项目编号：0748-1740CA1145IQ/01

三、拟中标供应商

中标供应商：奥肯思公司

详细中标公告详见中国国际招标网：

http://www.chinabidding.com/bidDetail/231429975-BidResult.html

特此公示

中国民航大学

2017年10月24日