Font Size:
a
A
A
Keyword [Checking]
Result: 181 - 200 | Page: 10 of 10
181.
SmartOSEK IDE3.0 And Its Model Checking And Codesign
182.
Software Design And Implementation Of Checking System On Mobile Phone Chip
183.
Research On The Contract-Checking Based Software Testing For Component-Based Software System
184.
Software Modeling And Verification Based On Petri Net
185.
Checking And Preventing Privacy Inference Attacks Based On K-Anonymized Microdata
186.
NKI Knowledge Interface: Realizing Dialogue Between People And Knowledge
187.
The Analysis Of Protocols Based On Petri Nets
188.
Research On Model Checking Of Security Protocol Of Network
189.
Research On Software Verification Technology Based On Model-Checking
190.
A New SAT-based Security Protocol Model Checking Algorithm
191.
The Erosion Intensity Checking System Research Based On The Serial Data Memorize
192.
Research On Verification Of High Reliability Microprocessor
193.
Research On Timed Automata And Its Application
194.
The Application Of Automata Theory In The Verification PSL
195.
System Architecture Of Equivalence Checking System Of Integrate Circuits And Implementation
196.
Research On Logic Debugging Techniques In Equipment Checking
197.
An Equivalence Checking Method For Circuits With Black Boxes Based On Logic Cone And SAT
198.
The Application Study On Formalism Of Electronic Commerce Protocols Based On SVO Logic
199.
The Design And Implementation Of Provincial Local Revenue Tax Check System
200.
A Research Of Modelling Methodology For Agent-oriented Requirements Engineering
<<First
<Prev
Next>
Last>>
Jump to
