Formal verification - Globe Thesis

Keyword [Formal verification] Result: 1 - 20 \| Page: 1 of 3
1.	Research On VV&A Torpedo Homing System Simulation
2.	Generation And Formal Verification Of Radio Block Center Data Streams Based On STATEMATE
3.	The Radiation-hardening Design And Verification Of CAN Bus IP
4.	Formal Verification Of Safety Computer Platform In CBTC System Based On Timed Automata Model
5.	Formal Verification Of Safety Computer Platform In Cbtc System Based On Timed Automata Model
6.	Wide Area Travelling Wave Fault Location Algorithm And Its Formal Verification
7.	Security Verification Approaches For Navigation Of Autonomous Vehicle
8.	The Position System Based On Scade Design And Validation
9.	Modeling And Verification Of CBTC Interlocking Based On Scade
10.	The Study Of Formal Verification Method About Rail Signal Interlocking Logic Relation
11.	Elevator Group Control System Design Based On Petri Nets
12.	Formal Verification And Implementation Of Train Control Safety Computer Management Mechanism
13.	Modeling And Security Analysis Of Speed And Position Determination System In Metro Train Based On SCADE
14.	Modelling And Analysis Of Computer Based Interlocking System Based On Safe State Machine
15.	Practical Research On Formal Verification Techniques Based On ATL
16.	Formal Modeling And Analysis Of RBC System Based On UML And TA
17.	Applied Research Of Train To Train Communication Technology In Onboard Equipment Of Train Control System
18.	Model-based Development Method Of Signalling Interlocking System For Urban Rail Transit
19.	Simulation And Verification Of Intercity Railway Train Control System Operational Scenario Based On Model
20.	Application Of Interlocking Subsystem Based On Resource Self-Allocation In Vehicle To Vehicle Communication System
<<First <Prev Next> Last>> Jump to