1.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
2.
Research on a Universal Verification Platform for Zhongke SoC and Verification Methodology of SoC;
中科SoC通用验证平台及验证方法学研究
3.
Study of SoC Verification Methods and Implementation of the Verification of I~2C Communication Module
SoC验证方法研究及I~2C通信模块验证的实现
4.
Library-based Verification Methodology for Instruction Set Validation of Microprocessor
基于验证库的微处理器指令集验证方法
5.
New Solution of TLM-Driven Design and Verification Methodology
TLM驱动式设计和验证方法学新方案
6.
A Study on Method About Typical Section Selection of Road and Provement Method
典型道路路段的选取方法及其验证方法研究
7.
Select acceptable authentication methods for this resouce.
选择本资源的可接受身份验证方法。
8.
"Set the initial authentication method for this security rule:
"为此安全规则设置初始身份验证方法:
9.
Through practical usage it is proved that this method is feasible.
经过验证试验,确立了方法的可行性。
10.
Compliance test procedures for steady-state availability
GB/T15647-1995稳态可用性验证试验方法
11.
The experiment result shows the effectiveness of the proposed method.
实验结果验证了该方法的有效性。
12.
Passive Position Theory and Validating of Ternary Array
三元阵被动定位方法原理及试验验证
13.
Differential attestation approach for TOCTOU
解决度量-验证时间差的一种差值证明方法
14.
The feasib ility of this method is proved by the results of experiments.
实验结果证明了此方法的可行性。
15.
The accuracy of the method is confirmed by examples.
计算结果验证了本文方法的精度。
16.
Validity of the proposed methods is verified by laboratory test.
方法的实用性已通过实验室测试证实。
17.
The organization shall use statistical methods of verification where applicable.
组织应使用适当的统计方法进行验证。
18.
Simulation results show the effectiveness of this method.
仿真算例验证了所提出方法的有效性。