food analysis and safety verification 食品分析与检验
verification and analysis 校验分析
model verification and analysis 模型的验证和分析
The precise formal description is the basement of the research, and all the analysis and verification behind are based on it.
精确的形式化描述是整个研究的基石,后面的分析和验证都基于该形式化描述。
In addition, the system can draw the relevance picture of experiment data, and make variance analysis and verification of notability of these data.
另外该系统实现了仿真试验数据关系图形的绘制及仿真试验数据的方差分析和因素显著性检验等功能。
Among the solutions to the analysis and verification of such systems, model checking is one of the most successful automatic verification techniques in the past two decades.
在诸多的系统分析和验证方法中,模型检测技术是近二十年来最成功的自动验证技术之一。
应用推荐