一、项目名称：中国民航大学机载嵌入式软件形式化方法审定技术研究设备

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

三、拟中标供应商

中标供应商：创景科技有限公司

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

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

特此公示

中国民航大学

2017年11月20日