formal method - Globe Thesis

Font Size: a A A

Keyword [formal method] Result: 21 - 40 \| Page: 2 of 10
21.	The Research And Formal Description Of Locking Mechanism For Concurrent Control In Cooperative Design
22.	A Study On Modeling Software Requirements Based On Scenario & Formal Method
23.	Development Of APLA To C++ Automatic Program Transformation System
24.	Research And Implement Of Formal Requirement Analysis Method Based On Component Technique
25.	The Research Of Algorithm Specification Based On Structured Natural Language
26.	The Research And Application Of New Strategies For Developing Loop Invariants On Recursive Problem
27.	The Applied Research Of PAR Method In Numerical Methods
28.	Research Of Formal Method In CSTA System Test
29.	Active Testing Research For IP Network
30.	Researching Of The Formal Method Based Fuzzy Math
31.	The Implement Of Protocol Test Executing System And The Conformance Test Of IPv6 Neighbor Discovery Protocol
32.	The Research And Application Of Some Key Technologies Of Information Security
33.	The Research Of Developing Algorithmic Program Based On PAR Method
34.	Formal Methods For Security Protocol Analysis And It's Application
35.	The Research Of Formal Verification Method On Cryptography Protocol
36.	The Research And Application Of Formal Requirement Analysis Method Based On Evolved Component
37.	The Study Of Hardware Verification In Theorem Prover HOL
38.	Security Protocol Analysis And Verification Based On Model Checker SPIN
39.	Formal Method Integrating B Method And Time Petri Nets
40.	Study On Algebraic Model Of Cryptographic Protocols And Algorithm Of Security Analysis
<<First <Prev Next> Last>> Jump to