基本解釋

• [計(jì)算機(jī)科學(xué)技術(shù)]形式化描述和驗(yàn)證

英漢例句

雙語(yǔ)例句

• Validation and verification of formal requirements specification.
  需求規(guī)約的確認(rèn)與驗(yàn)證。
• Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
  其中幾本教材中有很少的篇幅涉及到確認(rèn)和驗(yàn)證，但是僅僅是簡(jiǎn)單的引用IEEE標(biāo)準(zhǔn)或其他正式的方法。

• formal validation and verification更多例句

專(zhuān)業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 形式化描述和驗(yàn)證