Font Size: a A A
Keyword [formal methods]
Result: 1 - 20 | Page: 1 of 8
1. Formal Analysis And Verification Of Hybrid Systems Via Co-Verification And Hybrid Relations
2. Study On Analysis Of Security Protocols Of Computer Communication Network
3. Research On The Formal Design Of Digital Hardware: Theories And Approaches
4. Research On Distributed Protocol Interoperability Testing Based On Formal Methods
5. Research On Formal Methods In Arithmetic Circuit Verification
6. Research On Formal Methods And Their Applications For Security Protocols
7. Research On Formal Methods For Safe Software Architecture
8. Detecting And Handling The Inconsistency In Viewpoints Requirement Engineering
9. The Research On Service Oriented Web Software Development Technology Based On Formal Method
10. Research On Interface Model And Component Design In Service-Oriented Computing
11. Research On Formal Methods For Cryptographic Protocols Analysis
12. Research On Evolutionary Computation Based Approaches For Automatic Behavioral Refinement And Learning To Rank
13. Research On Formal Methods For Digital Circuit Verification Based On Polynomial Symbolic Algebra
14. Key Techniques Of Trustworthiness Improvement On Hybird Arithmetic Addition Of Floating-point Fused Multiply-add Unit
15. A Study On Formally Modeling And Verifying The Composition Of Web Services
16. Model Oriented Composition Theory
17. Research On Formal Methods Of Web Service Data And Service Composition Based On Process Algebra
18. Modeling And Analysis Of Embedded Periodic Control Systems
19. Research On Software Design And Analysis Reuse Technique Based On Algorithmic Frame
20. Extending A Model-Checking Tool With Non-trivial Data Structures
  <<First  <Prev  Next>  Last>>  Jump to