Automatic verification - Globe Thesis

Keyword [Automatic verification] Result: 21 - 40 \| Page: 2 of 3
21.	Provincial Electricity Measurement Automatically Checks The Research And Implementation Of Integrated Management Platform
22.	Design And Verification Of I2C Bus On Chip
23.	Design And Implement Of An Auxiliary System For Database Teaching Base On JavaEE
24.	The Automatic Thermocouple Calibrating System
25.	Design And Implementation Of High Performance And Low Power SRAM
26.	Research On Formal Specification Of Automatic Verification Algorithm
27.	Automatic Verification Of Authentication In Security Protocol Java Implementation In Computational Model
28.	Research Of Verification System For Pointer Pressure Gauge Based On Machine Vision
29.	Research On Automatic Analysis For Multi-Protocol Attacks On Security Protocols
30.	Research On The Appearance Detection Problem Of The Transformer Verification System
31.	Research On Off-line Chinese Signature Automatic Verification Method Based On BP Neural Network
32.	Formal Derivation Of Algorithm And Isabelle-based Automatic Verification
33.	The Design And Verification Of FFT Accelerator In X-DSP
34.	The Design And Implementation Of The Management System And Device For Automatic Water Meter Calibration Based On High Speed Camera
35.	Research On Techniques Of A Functional Point Model-based Semi-formal Functional Verification
36.	An Automatic Verification Method Based On Network On Chip
37.	The Research Of Automatic Verification For Security Protocol Based On Model Checking
38.	Automatic Verification Of DFS Algorithm Based On Isabelle
39.	Framework for automatic verification of UML design models: Application to UML 2.0 interactions
40.	Automatic verification of string manipulating programs
<<First <Prev Next> Last>> Jump to