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