分析检验方法应当简要描述。

The analytical test methods should be briefly described.

youdao

风险分析检验这些答案，跟各种方案进行比较，这样来走风险最低的道路(风险管理)。

Risk analysis examines the answers and compares them to various alternatives so that the least risky pathway can be followed (risk management).

youdao

结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。

This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.

youdao