1.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
2.
Automatic Verifying Security Protocols Basing Term Guessing and Hash Forging;
基于术语猜测及Hash伪造的安全协议自动化验证
3.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
4.
Design and Implementation of SoC Functional Verification Automation System;
SoC功能验证自动化系统的设计与实现
5.
Formal Modeling and Verification of Real-time Systems Based on Time Automation;
基于时间自动机的实时系统形式化建模与验证
6.
Research & Implementation of Microprocessor Verification Automation;
微处理器功能验证自动化方法的研究和实现
7.
Automatic Functional Verification of the Multi-protocols Processing Chip Bashed on SpecmanE;
用SpecmanE进行复杂协议处理芯片的自动化功能验证
8.
Research on Verification of Controller Synthesis in Design Automation of Digital Systems;
数字系统设计自动化中控制器综合的验证研究
9.
Heterogeneous EDA Data Sharing and Design Check Automation Technology;
异构EDA数据共享与设计验证自动化技术
10.
A study of automation workstation for the DNA extraction of forensic biological evidence
法医物证DNA自动化检验技术体系的研究
11.
THE PERFORMANCE DEMONSTRATION OF VITROS 350 DRY-CHEMISTRY ANALYZER
强生V-350全自动干式生化分析仪检测性能验证
12.
NUMERICAL ANALYSIS OF FREE FIELD SYSTEM IN LIQUEFIABLE SITE AND VALIDATION OF SHAKING TABLE TESTS
液化场地自由场体系的数值分析及振动台试验验证
13.
A Study of Motives of Capitalizing R & D Expenditure:Evidence from A Share Market
企业研发支出资本化的动因研究——来自A股市场的经验证据
14.
Verification of the analytical performance of the Roche E170 modular analytics immunoassay analyzer
罗氏MODULAR E170全自动电化学发光免疫分析仪性能验证
15.
Application of BLS-SVM to Dam Safety Monitoring Data Validation
贝叶斯最小二乘支持向量机在大坝监测自动化数据验证中的应用
16.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
17.
Active and Passive Validation
主动验证和被动验证
18.
Automatically verifies and displays the identity of programs you download.
自动验证并显示所下载程序的标识。