Font Size: a A A
Keyword [Formal verification]
Result: 1 - 20 | Page: 1 of 10
1. Research On Formal Verification Of Web Services Composition And Method Of Visualization
2. The Abstraction Research And Application Based On GSTE
3. Modeling, Verification And Testing With The Extended π-calculus
4. Constraint Solving And Formal Verification With MSVL
5. Study On Symbolic Model Checking Of Propositional Projection Temporal Logic And Its Applications
6. Research On Technologies Of Design And Implementation For Activity-Oriented Context-Aware (AOCA) Application Systems
7. Modeling, Analysis And Verification For Cyber-Physical Systems Based On Clock And Signal Constraints
8. Research On Cyber/Physical Co-Verification For CPS
9. Research Of UML-Oriented Model Checking
10. Study On Electronic Commerce Transaction Protocols Based On E-Cash
11. Research On Methods For Formal Verification Of Vlsi Circuit
12. Explaining Counterexample Of Model Checking
13. Compositional Verification Based On Interface Automata
14. The Research And Implementation On The Formal Verification Technique Of Security Protocol
15. Research On Some Problems About Proving The Correctness Of Programming
16. Research On Process Network Based Cooperative Computation Model Of Services
17. Research On Automatic Service Composition And Formal Verification
18. Equivalence Checking For Logic Circuits
19. Verification For Bus System Of A SOC
20. Comprehensive-Information-Based Formal Pragmatic Approach For Agent Communication
  <<First  <Prev  Next>  Last>>  Jump to