Font Size:
a
A
A
Keyword [Formal Method]
Result: 61 - 80 | Page: 4 of 10
61.
Study On Formal Method In UML Sequence Diagram And Statechart
62.
The Design And Implementation Of The Semi-automatic Aid Tool For Constructing Algebraic Specification
63.
The Implementation And Application Of B-Method In Abstract Machine Library
64.
Research On GCC Compiler Security Verification Methods
65.
Universally Composable Symbolic Analysis Of Non-repudiation Protocols
66.
Design Of Embedded Real-Time Operating System Based On B Method
67.
Analysis And Research Of SSLv3.0 Protocol And ECC
68.
C++STL-based Technology To Achieve Refinement And Transformation Of Z Formal Specification
69.
Research On The Conflict Detection Of Component Interaction Based On Component Relativity
70.
Semantic Checking Of UML Model Based On Ontology Reasoning
71.
The Effective Analysis System Of Network Security Protocol
72.
Research On Requirements Modeling Based On Scenarios
73.
Research On The Assurance Mechanism And The Evaluation Method For Trustworthy Of Business Component
74.
A Formal Approach To Build Safe Threading Machanisms
75.
The Research On B Formal Specification Of UML Use Case Model
76.
The Application Research On Algorithmic Framework In Software Reuse
77.
Formal Description Of Ontology Evolution Based Extend-PI Calculus
78.
A Method For Formal Analysis Of E-commerce Security Protocol
79.
Formal Analysis Of Security Protocols Based On SPI Calculus
80.
Research And Application Of Rule Description Method And Its Verification
<<First
<Prev
Next>
Last>>
Jump to
