軟件需求形式化及形式化驗(yàn)證工具招標(biāo)公告
1.招標(biāo)條件
軟件需求形式化及形式化驗(yàn)證工具（招標(biāo)編號(hào)：0613-266025222068）采購的招標(biāo)人為中國商用飛機(jī)有限責(zé)任公司上海飛機(jī)設(shè)計(jì)研究院（以下簡稱“招標(biāo)人”），資金來...
1.招標(biāo)條件
軟件需求形式化及形式化驗(yàn)證工具（招標(biāo)編號(hào)：0613-266025222068）采購的招標(biāo)人為中國商用飛機(jī)有限責(zé)任公司上海飛機(jī)設(shè)計(jì)研究院（以下簡稱“招標(biāo)人”），資金來...