Font Size: a A A
Keyword [Formal]
Result: 1 - 20 | Page: 1 of 10
1. Key Technology Research In Requirement And Design Oriented Software Reverse Engineering
2. Research On Formal Verification Of Web Services Composition And Method Of Visualization
3. Formal Design And Verification Of Technical Standard System For Internet Content Rating Service
4. Research On Exception Handling Key Technologies Of Service-oriented Computing
5. Research On Component-based Embedded Software Safety Analysis Methods
6. The Abstraction Research And Application Based On GSTE
7. Research Of Related Algorithms Inrole Engineering Based On Conceptlattice
8. Modeling, Verification And Testing With The Extended π-calculus
9. Constraint Solving And Formal Verification With MSVL
10. Study On Security Analysis Techniques In Routing Protocols For Mobile Ad Hoc Networks
11. Study On Symbolic Model Checking Of Propositional Projection Temporal Logic And Its Applications
12. Research On RFID Authentication Protocols For Low-cost Tags
13. Research On Authentication Mechanism With Supporting Privacy Protection In The Internet Of Things
14. Model Checking Based Formal Analysis And Verification For Component Oriented Embedded Software
15. Research On The LLTS-oriented Process Calculus CLL_R
16. Trustworthy Network Control Model And Its Formal Analysis
17. Formal Modeling And Verification Of Safety-critical Communication System
18. Research On Technologies Of Design And Implementation For Activity-Oriented Context-Aware (AOCA) Application Systems
19. Modeling, Analysis And Verification For Cyber-Physical Systems Based On Clock And Signal Constraints
20. Formal Semantics & Analysis On Wireless Networks From Quality Perspective
  <<First  <Prev  Next>  Last>>  Jump to