1.
A Statechart Verification Tool for Automotive Electronics-Smart Automata;
支持汽车电子的状态图验证工具—Smart Automata
2.
Flaw Analysis of Security Protocol and Automatic Tool;
安全协议的漏洞分析及自动验证工具
3.
THE TOOL FOR VERIFYING CLUSTERING ALGORITHM:DESIGN AND IMPLEMENTATION
聚类算法有效性验证工具设计与实现
4.
Design and Implementation of the UML Model Checking Tool Based on SPIN/Promela
基于SPIN/Promela的UML模型验证工具设计与实现
5.
Program Validation Tool Based on Slice
基于切片的程序验证工具的设计与实现
6.
Automated verification tool for time-dependent cryptographic protocols
一种时间相关安全协议的自动验证工具
7.
Implementing a Graphical User Interface for an Automated Proof Tool for Message-Passing Concurrent System;
一个并发传值系统自动验证工具的图形界面实现
8.
Design of Verification,Validation and Accreditation Tool for Simulation System;
仿真系统校核、验证与验收工具的设计
9.
Modification and Verification Assessment of Related Models in Licensing LOCA Analysis Program Platform Development;
认证级LOCA分析工具开发中相关模型修改及验证
10.
Training operator at assy station during new project start. And verify the fixture good or not.
培训操作工,当新项目开始时.验证夹具是否有效.
11.
Security Protocol Analysis and Verification Based on Model Checker SPIN;
基于模型检测工具SPIN的安全协议分析和验证
12.
Comparison and application of data recovery software in computer forensic;
电子物证检验中常用数据恢复工具对比研究
13.
Theoretical Basis and Empirical Tests of the Rational Analysis of Policy Instruments Selection
政策工具选择理性分析的理论基础与实证检验
14.
Validation,Development and Application of Simulation Tool for Vehicle Side Impact
汽车侧面碰撞仿真工具的验证开发及应用
15.
If verification is successful, the Verifier sets the status to Verified. Tool sends e-mail to the Originator and Modifier.
如果验证通过，验证人设置变更状态为已验证。变更控制工具发电子邮件给修改人和发起人。
16.
The organization shall provide resources for tool and gauge design, fabrication and verification activities.
组织应为工具和量具的设计制造和验证活动提供资源.
17.
a certification of paid-in capital issued by a qualified Chinese certifying agency, and a registration certificate issued by the State Administration of Industry and Commerce;
中国法定验资机构出具的验资证明、工商行政管理机关出具的对拟设机构名称的预核准登记书。
18.
"To verify and if necessary reset this trust relationship, click Verify. This is useful as a troubleshooting tool.
"要验证并在需要时重置信任关系，请单击“验证”。这是一个有用的故障排除工具。