高可靠工程組態(tài)設(shè)計軟件研發(fā)與應(yīng)用項目形式化驗證技術(shù)服務(wù)采購結(jié)果公告 高可靠工程組態(tài)設(shè)計軟件研發(fā)與應(yīng)用項目形式化驗證技術(shù)服務(wù)采購項目經(jīng)評審采購結(jié)果已確定/成交候選人公示期已經(jīng)結(jié)束，現(xiàn)將中選結(jié)果公告如下： 序號 項目編號 項目名稱 中選人 ---- 高可靠工程組態(tài)設(shè)計軟件研發(fā)與應(yīng)用項目形式化驗證技術(shù)服務(wù)[高可靠工程組態(tài)設(shè)計軟件研發(fā)與應(yīng)用項目形式化驗證技術(shù)服務(wù)] 上海豐蕾信息科技有限公司 特此公告! 采購人：成都天核科技有限公司 年月日