Modeling and Verification - Globe Thesis

Keyword [Modeling and Verification] Result: 1 - 20 \| Page: 1 of 4
1.	Hierarchical Formal Modeling And Verification Train Control System
2.	The Study On Formal Modeling And Verification Of High-speed Railway Train Control System
3.	The Research Of Control Mechanism And Balance Problem For The Bicycle
4.	Modeling And Verification Of Movement Authority Module Of RBC System Based On Safe State Machine
5.	Modeling And Verification Of Interlocking Route Control Process With UPPAAL
6.	Modeling And Verification Of Radio Block Center Subsystem Handover Based On Colored Petri Net
7.	Miniature Audio Directional Transducer Sound Field Modeling And Verification
8.	Modeling And Verification Of On-Board Equipment Of CTCS-3 Train Operation Control System Based On Timed Automata
9.	Research On The Method Of Formal Modeling And Verification Of The Train Control System Requirements Specification
10.	Magneto-rheological Damper And Inverse Modeling And Verification For Follow-up Control System
11.	Modeling And Verification Of Decentralized Control Interlocking System With Timed Automata
12.	The Modeling And Verification Method For Hybrid Behavior Of Train Control System
13.	CSP Based Modeling And Verification Of CBTC Zone Controller System
14.	Modeling And Verification Of Temporary Speed Restriction Of Train Control System
15.	Modeling And Verification Of Train Operation Regulation On Bat-Inspired Algorithm
16.	Formal Modeling And Verification Of Automatic Train Protection System
17.	The Train’s Safety Distance Control Formal Modeling And Verification
18.	Hierarchical Modeling And Verification Of Zone Controller Based On TCSP
19.	The Modeling And Verification Of Single-Event Upsets In Transistor Circuit
20.	Modeling And Verification Of CBTC Interlocking Based On Scade
<<First <Prev Next> Last>> Jump to