formal modeling - Globe Thesis

Keyword [formal modeling] Result: 1 - 20 \| Page: 1 of 5
1.	Formal Modeling And Verification Of Safety-critical Communication System
2.	Research On Formal Modeling Of Distributed Systems
3.	Research On Service-Oriented New Generation Network Architecture And Its Formal Modeling
4.	Research On Object-Oriented Algebra Petri Net Model
5.	Formal Modeling And Analysis Of Mission-Critical Systems For Survivability
6.	Formal Modeling And Analysis Of Service-Oriented Mission-Critical Network System Security Situation
7.	Formal Modeling Of The Security Of The Linux Operating System And Secure Web System
8.	Research On Formal Modeling And Verification Methodology Of TCN System
9.	Research Of Policy-based Information Security Model And Formal Modeling
10.	Research On Formal Modeling Of Message Passing Based On Coloured Petri Nets
11.	Formal Modeling And Simulation Of Biological Process
12.	Formal Modeling And Verification Of Real-time Systems Based On Time Automation
13.	Research On Formalization Of UML Based On Petri Net
14.	HMIPv6 Protocol Formal Modeling And Research On Test Case Generation Method
15.	The Research On The Design And Development Of Thinking Toolset In The Synergistic Learning System
16.	Formal Modeling And Verification For The Rail Transit Control System Designed By SCADE Base On PVS
17.	HMIPv6 Formal Verification Research Based On Color Petri Nets
18.	Formal Modeling And Research Of The 3G Mobile Communication Service Based On Pi-calculus
19.	Building Of Security Weaknesses Knowledge Base Based On Formal Modeling
20.	Formal Modeling And Analysis For Verification Validation And Accreditation Process
<<First <Prev Next> Last>> Jump to