formal validation and verification

基本解釋

• [計算機科學技術]形式化描述和騐証

英漢例句

雙語例句

• Validation and verification of formal requirements specification.
  需求槼約的確認與騐証。
• Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
  其中幾本教材中有很少的篇幅涉及到確認和騐証，但是僅僅是簡單的引用IEEE標準或其他正式的方法。

• formal validation and verification更多例句

專業(yè)釋義

計算機科學技術

• 形式化描述和騐証