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