Font Size: a A A
Keyword [automated verification]
Result: 1 - 13 | Page: 1 of 1
1. Automated Verification Of Remote Internet Voting Protocols In Applied Pi Calculus
2. The Study Of The Automated Verification Of The Polyadic Pi-calculus’s Bisimulation
3. Method Research On SysML Activity Diagrams Validation Based On Probability Model Checking
4. Formalization And Verification Of Embedded Operating Systems Using Rewriting Logic
5. The Automated Verification Method Of Parametric Protocols Based On Decision Tree
6. The Site For The Record Management Automated Verification System Under IPv6 Environment
7. Formal modeling and automated verification of design patterns
8. Automated verification of generic computer software components
9. Specification, composition, and automated verification of layered communication protocols
10. Research On Formal Verification Method Based On I~2C Protocol
11. Quantitative SoC Automated Verification System Based On HVP And Coverage
12. PCIe Module Verification Based On An Automated Verification Platform
13. Automatic Audit Of Host Security Baseline Based On SCAP The Research Of Information And Decision Making
  <<First  <Prev  Next>  Last>>  Jump to