Formal modeling - Globe Thesis

Keyword [Formal modeling] Result: 1 - 20 \| Page: 1 of 3
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.	Research And Implementation Of BOM Multi-View In PDM
4.	Generation And Formal Verification Of Radio Block Center Data Streams Based On STATEMATE
5.	Research On The Method Of Formal Modeling And Verification Of The Train Control System Requirements Specification
6.	Research On The Key Technologies Of Dynamic In-car Navigation Systems
7.	Formal Modeling And Simulation Of Train Flow Based On High Confidence Wireless Communication
8.	Formal Modeling And Analysis For Generation Of Train Movement Authority In RBC Of CTCS-3
9.	Application And Research On GSM-R In Centralized Monitoring Of The Signal
10.	Research Of Analysis Method In RBC Based On Model Checking
11.	Formal Modeling And Verification Of Automatic Train Protection System
12.	Formal Specification And Application Of Istribution Network Topology
13.	Research On The Method Of Unit Test For CTCS-3Train Control System
14.	The Train’s Safety Distance Control Formal Modeling And Verification
15.	Test Case Generation Method For The Software Of Railway Signaling Interlocking System
16.	Formal Modeling And Verification Of CBTC Based Interlocking Route Control Process
17.	Practical Research On Formal Verification Techniques Based On ATL
18.	Research On Formal Modeling And Verification Of Interlocking System In Communication Based Train Control System
19.	Formal Modeling And Verification Of CBTC Zone Controller Based On Time Automation
20.	Formal Modeling And Verification Of Avionics Systems
<<First <Prev Next> Last>> Jump to