UPPAAL - Globe Thesis - Globe Thesis

Keyword [UPPAAL] Result: 1 - 20 \| Page: 1 of 3
1.	Modeling And Analysis Of RBC System Train-Control Process Based On UPPAAL
2.	Modeling And Verification Of Movement Authority Module Of RBC System Based On Safe State Machine
3.	Modeling And Verification Of Interlocking Route Control Process With UPPAAL
4.	Research On RBC Train-Control Process Based On Timed Automata
5.	Research And Implement On The Design Software Of Collecting Processor In ZPW-2000A Microcomputer-Based Monitoring Subsystem
6.	Formal Verification Of Safety Computer Platform In CBTC System Based On Timed Automata Model
7.	Formal Verification Of Safety Computer Platform In Cbtc System Based On Timed Automata Model
8.	Modeling And Verification Of On-Board Equipment Of CTCS-3 Train Operation Control System Based On Timed Automata
9.	Research On Rule-based Data Analysis And Verification For CBTC
10.	Research On Test Sequence Generation Method Of Track Circuit Reader
11.	Modeling And Verification Of Decentralized Control Interlocking System With Timed Automata
12.	The Optimization Rearch Of Channel Encoding And Receiving Process In The Balise Information Transmission System
13.	Formal Modeling And Verification Of Automatic Train Protection System
14.	Method Of Test Sequence Generation And Optimization In Intelligent-Vehicle Infrastructure Cooperative System Simulation
15.	Research On Time Delay Performance In High-speed Train Control System Scenarios Based On Online Testing Method
16.	The Security Analysis Of Rail Transport Operations Scenarios Based On Model Checking
17.	Functional Verification Of Train Control System Under Complicated Scenario
18.	The Research On Mutation Testing Method Of Chinese Train Control System Level 3 Based On Timed Automata
19.	Modeling And Verification Of Level Transition Scene In CTSS-3 Level Train Control System Based On UML And UPPAAL
20.	Formal Modeling And Analysis Of RBC System Based On UML And TA
<<First <Prev Next> Last>> Jump to