基本解釋[電子、通信與自動(dòng)控制技術(shù)]形式化驗(yàn)證詞組短語(yǔ)短語(yǔ)automatic formalized verification 形似化自動(dòng)驗(yàn)證formalized verification更多詞組專業(yè)釋義電子、通信與自動(dòng)控制技術(shù)形式化驗(yàn)證