Font Size:
a
A
A
Keyword [Verification]
Result: 1 - 20 | Page: 1 of 10
1.
Research On Formal Verification Of Web Services Composition And Method Of Visualization
2.
Formal Design And Verification Of Technical Standard System For Internet Content Rating Service
3.
Research On Key Security Techniques Of Web Service Composition
4.
Research On Computational Integrity Of Open Mass Data Processing Service
5.
Analysis Of Speaker Roles For Multi-speaker Conversational Speech
6.
The Abstraction Research And Application Based On GSTE
7.
Modeling, Verification And Testing With The Extended π-calculus
8.
Constraint Solving And Formal Verification With MSVL
9.
Study On Symbolic Model Checking Of Propositional Projection Temporal Logic And Its Applications
10.
Research On The Acceleration Technology And Security Of The Digital Signature
11.
Research On Key Techniques Of Multithreaded Program Verification For Atomicity Of Correlated Variables
12.
Modeling And Verification Of Reconfigurable Discrete Event Control Systems
13.
Numerical And Experimental Verification Of 3D Quasi-Optical Network System
14.
Researches And Applications Of Quantum Information Coding In Quantum Cryptography
15.
Optical Image Encryption And Validation Based On Phase Retrieval Algorithms
16.
Model Checking Based Formal Analysis And Verification For Component Oriented Embedded Software
17.
Research On Designing And Analyzing Techniques For Data Security Models In Cloud Storage
18.
Face Analysis And Verification Under Uncontrolled Conditions
19.
Research On Robustness Of Speaker Verification Under Complicated Environments
20.
Formal Modeling And Verification Of Safety-critical Communication System
<<First
<Prev
Next>
Last>>
Jump to