Font Size: a A A
Keyword [Specification Language]
Result: 1 - 20 | Page: 1 of 2
1. Study On The Theory And Practice Of Ontology And Ontology-based Agricultural Document Retrieval System--Floricultural Ontology Modeling
2. SOZRSL Software Requirement Specification Language And Refinement
3. Research On Technology In Binary Translation For IA-64 Architectural Characteristics Optimized Code
4. Context-Driven Testing For Composability Of Simulation Model
5. Research On Assertion Based Verification For Design Of Digital System
6. Formal Specification Language Lfc Is To Achieve And Applied Research
7. Group Communication Security Management And Realization
8. Partial Evaluation Specification Language And Application Framework For Java
9. Study And Development On Neighbor Discovery Protocol Conformance Test System
10. Research On Formal Analysis Of Security Protocols
11. Performance Analysis Of OpenMP Parallel Programs
12. Automatic Verifying Security Protocols Basing Term Guessing And Hash Forging
13. Research And Design On Real-time And Dynamic Network Video Multiuser Controlling System Model
14. Research On Process Cooperation Technologies And Algorithms For Enterprise Process Dynamic Modeling
15. Design And Parse Of Formal Specification Language For Security Protocols
16. Prototype Multi-level Attack Tree-based Intrusion Detection On Linux
17. Distributed Intrusion Detection System Research And Design
18. Research On Several Key Technologies In Binary Translation For X8664
19. Simulation And Verification Of Spatial-Temporal Consistence Agent Modelling And Monitoring Based On STeC Language
20. A Specification Language For Precise Shape Analysis Of C Program
  <<First  <Prev  Next>  Last>>  Jump to