Font Size:
a
A
A
Keyword [Formal]
Result: 21 - 40 | Page: 2 of 10
21.
Formal Analysis And Verification Of Hybrid Systems Via Co-Verification And Hybrid Relations
22.
Research On Cyber/Physical Co-Verification For CPS
23.
Knowledge Acquisition Theory And Method Of Concept Lattice Based On Visual Graph
24.
Study On Analysis Of Security Protocols Of Computer Communication Network
25.
Research On Knowledge Discovery Based On Concept Lattice Model
26.
Research On The Formal Method Of Description For The Flexible Component Composition And Its Application To The Water Resources Domain
27.
Study Of Design Patterns
28.
Research Of UML-Oriented Model Checking
29.
Research And Implementation On Mobile Agent For Network Computing
30.
Research On Formal Modeling Of Distributed Systems
31.
Research On Negotiation And Related Technology In Electronic Commerce
32.
Research On The Formal Design Of Digital Hardware: Theories And Approaches
33.
Research On Trusted Process Mechanism And Related Problems
34.
Study On Formalization Design For High-Level Secure Operating System
35.
Object-oriented Formal Specification Based Test Generation
36.
Study On Electronic Commerce Transaction Protocols Based On E-Cash
37.
Study On Image Mining Based On Formal Concept Analysis
38.
The Research On The Several Problems Of Rough Sets
39.
Research On Commercial Security Policy And Its Formal Analysis
40.
Study On Formal Description Of Software Architecture
<<First
<Prev
Next>
Last>>
Jump to
