1.
Research and implementation of certificate validation system based on DNS
基于域名系统的证书验证系统研究与实现
2.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
3.
System File Checker verifies the integrity of your system files.
系统文件检查器验证系统文件的完整性。
4.
drinking water system inspection certificate
饮用水系统检验证书
5.
The system could not log you on. Your credentials could not be verified.
您无法登录系统。无法验证您的凭证。
6.
Property verification is carried out using theorem proving systems.
特性验证使用定理求证系统来实现。
7.
Design of Verification,Validation and Accreditation Tool for Simulation System;
仿真系统校核、验证与验收工具的设计
8.
The remote system did not have enough memory to complete the verification process.
远程系统内存不足，无法完成验证操作。
9.
Validating operating system version on this node...
正在此节点上验证操作系统版本...
10.
VERIFYING CACHE COHERENCE IN A DISTRIBUTED FILE SYSTEM
分布式文件系统中Cache一致性的验证
11.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
12.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
13.
Verification, Validation and Accreditation Research on HLA Simulation Systems;
HLA仿真系统的校核、验证与确认研究
14.
Design, Construction and Validation of Purified Water System of Pharmaceutical Industry;
制药厂纯水系统的设计、建造与验证
15.
Modeling and Verification of Queueing System with Petri Nets;
排队系统的Petri网建模与验证
16.
Verification of JDA Module in TD-SCDMA System;
TD-SCDMA系统中JDA模块的验证
17.
Design and System-level Verification of Instruction CACHE Architure;
指令CACHE结构设计与系统级验证
18.
SystemC～(FL) Modeling Verification of Hardware Design System Using the SPIN Model Checker;
硬件系统SystemC～（FL）设计模型的SPIN验证