timed automata - Globe Thesis

Keyword [timed automata] Result: 1 - 20 \| Page: 1 of 3
1.	The Formal Modelling And Model Checking Research Of Rail Transportation Train Control System
2.	A Study On Reflective Hydro-Database Access Middleware
3.	Modeling And Analysis Of RBC System Train-Control Process Based On UPPAAL
4.	Modeling And Verification Of Interlocking Route Control Process With UPPAAL
5.	Research On RBC Train-Control Process Based On Timed Automata
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.	Modeling And Verification Of Temporary Speed Restriction Of Train Control System
13.	Formal Modeling And Verification Of Automatic Train Protection System
14.	The Security Analysis Of Rail Transport Operations Scenarios Based On Model Checking
15.	Functional Verification Of Train Control System Under Complicated Scenario
16.	The Research On Mutation Testing Method Of Chinese Train Control System Level 3 Based On Timed Automata
17.	Research Of Data-driven-based Test Method For FAO System
18.	Evaluation And Optimization Of Scheduling For Smart Building Air-Conditioning Systems Under Uncertain Environment
19.	Formal Modeling And Verification Of CBTC Based Interlocking Route Control Process
20.	Modeling And Semi-physical Simulation Of Train Control Center Based On Timed Automata
<<First <Prev Next> Last>> Jump to