Font Size:
a
A
A
Keyword [Formal Method]
Result: 41 - 60 | Page: 3 of 10
41.
Study And Application Of SIP Using Formal Method
42.
The Applied Research Of Formal Method And Model Checking In Early Requirement Engineering
43.
The SET Protocol Payment Process Analysis And Model Checking
44.
Research On Applications Of Formal Method In Component-Based Software Reuse
45.
Research On Application Of Formal Method To Reverse Engineering
46.
Research And Development Of System In Risk Control Based On UML
47.
Application Research On B Method And Component Technology In Formal Development Of Information System
48.
Research And Application Of Two Kinds Of Interface Design Pattern Orientied Code Automatic Generation
49.
The Research On Translating UML Diagram To B-Method Formal Specification And Its Application
50.
Information Fusion Model And Form Research
51.
Research On Model Checking Of Concurrent System Based On Partial-order Reduction
52.
The Research And Application Of Software Architecture Based On UML And Formal Method
53.
The Automatic Analysis System For Network Authentication Protocols
54.
The Research Of Security Protocols In Special Environment
55.
The Research Of Formal RBAC Model
56.
Modeling And Verification Of Embedded Real-time Software By Combination Of Visual Method And Formal Method
57.
Research On Methods Of Security Assurance Based On Computer-Assisted Proof
58.
The Extension And Application Of Strand Space
59.
The Verification Of Security Protocol Based On GSPM And The Inplementation Of The Tool
60.
Formal Description And Verification Of 2PCP Based On Asynchronous π-calculus
<<First
<Prev
Next>
Last>>
Jump to
