Model checking - Globe Thesis

Keyword [Model checking] Result: 1 - 20 \| Page: 1 of 4
1.	The Formal Modelling And Model Checking Research Of Rail Transportation Train Control System
2.	Hierarchical Formal Modeling And Verification Train Control System
3.	Research On The Examination Method Of Structural Dynamic Model About Passenger Vehicle's Inner-swing Door
4.	Research And Implementation Of Key Technologies For IP/ATM And Its Routing Protocol In On-Board Computer
5.	Screw Conveyor Helical Blade Reverse Engineering Practice
6.	Research On The Application Of DSL In Software Development Of Computer Based Interlocking
7.	Research On Verification Method For Safety Communication Protocol In Train Control System
8.	Application And Research On GSM-R In Centralized Monitoring Of The Signal
9.	Research For Aircraft System Deductive Safety Analysis Method Based On Formal Model Checking
10.	Research Of Analysis Method In RBC Based On Model Checking
11.	Modeling And Analysis On The Wayside-to-Train Communication Subsystem Of CTCS Level-3
12.	Bounded Model Checking For Concurrent Behavior Based On Scheduler
13.	Research Of Automotive Electronic Communication Protocol Based On AUTOSAR
14.	The Security Analysis Of Rail Transport Operations Scenarios Based On Model Checking
15.	Evaluation And Optimization Of Scheduling For Smart Building Air-Conditioning Systems Under Uncertain Environment
16.	The Research On 3D Model Data Checking Technology
17.	Practical Research On Formal Verification Techniques Based On ATL
18.	Autonomous Perception Based Train Integrity Detection Method
19.	Formal Modeling And Verification Of Avionics Systems
20.	Formal Modeling And Verification Method For CTCS-3 System Using TMSVL
<<First <Prev Next> Last>> Jump to