modeling verification - Globe Thesis

Keyword [modeling verification] Result: 1 - 20 \| Page: 1 of 2
1.	Modeling, Verification And Testing With The Extended π-calculus
2.	Modeling And Verification Of Reconfigurable Discrete Event Control Systems
3.	Research And Application Of Several Key Techniques In Petri Nets
4.	Study On Topology Architecture And Communication Paradigm For Network-on-Chip
5.	Research On Software Design And Implementation Techniques For Non-Functional Requirements
6.	Research On Formal Methods Of Web Service Data And Service Composition Based On Process Algebra
7.	Research On Modeling And Verification Of QoS-Oriented Web Services Composition
8.	Simulation And Verification Of Dynamic Behavior Of Discrete Event Based On Petri Nets
9.	SystemC～(FL) Modeling Verification Of Hardware Design System Using The SPIN Model Checker
10.	Modeling And Verification Of The Workflows Based On UML-Statecharts
11.	The Research Of Embedded System Design Method Base On OOTCPN Model
12.	Formal Modeling And Verification For The Rail Transit Control System Designed By SCADE Base On PVS
13.	Hierarchical Colored Petri Nets Based Modeling And Verification For Dynamic Web Service Composition
14.	Research On Modeling And Verification Based On UPPAAL And Its Application To CTCS-3Train Control System
15.	Formal Modeling,Verification And Performance Evaluation Of Multi-core Software
16.	Modeling And Application Of Inter-process Communication In Virtual Environment Based On Pi-calculus
17.	Research On Modeling And Verifying Timing Constraints Of Interrupt- Driven Systems
18.	Verification And Simulation Of Earth Observation Mission On Space-Air-Ground Integrated Networks Based On STeC
19.	The Formal Modeling And Verification Of Resource-Oriented Internet Of Things System
20.	Formal Modeling And Application Research Of System Based On Model Checking
<<First <Prev Next> Last>> Jump to