formal method - Globe Thesis

Keyword [formal method] Result: 1 - 20 \| Page: 1 of 10
1.	Research On Component-based Embedded Software Safety Analysis Methods
2.	Research On The LLTS-oriented Process Calculus CLL_R
3.	Research On The Formal Method Of Description For The Flexible Component Composition And Its Application To The Water Resources Domain
4.	Proving And Testing The Functional Correctness Of Distributed Systems
5.	Research On Formal Methods In Arithmetic Circuit Verification
6.	The Research On Service Composition In Service-Oriented Computing
7.	Analysis Of Aspect-Oriented Technology And Its Application In The Development Of Software For Large-Scale Embedded System
8.	Research On The Formalization Of Semantic Features And Behavior Composition For Real-Time Service Component
9.	Researching Of Implementation Of High Level Secure Trusted Operationg System
10.	Research And Application Of Formal Method For Software Development Based On Components
11.	The Research On Service Oriented Web Software Development Technology Based On Formal Method
12.	Research On The Theory Of Petri Net Based Analysis And Verification Of Security Policies
13.	Research On Some Key Technology Of Software Testing Reuse Based On Formal Method
14.	Research On Formal Design And Analysis For Security System
15.	Research On Building And Evaluating Method Of Conceptual Model Of Complex Simulation System
16.	A Research On Design And Formal Construction Of Trusted Routing Protocols In Mobile Ad-hoc Networks
17.	Research On Formal Methods Of Web Service Data And Service Composition Based On Process Algebra
18.	Research On Transforming Requirements Specification To Software Architecture Models Of Embedded Software
19.	Key Techniques And Formalism For Dynamic Component-based Software Updating
20.	Study On The Application Of Formal Method In Component-based Real-time System
<<First <Prev Next> Last>> Jump to