Font Size:
a
A
A
Keyword [Colored Petri net]
Result: 41 - 49 | Page: 3 of 3
41.
Research On Training Method Of High-speed Railway ATO On-board Subsystem Based On Human Reliability Analysis
42.
Research On Petri Net Unfolding-based OSEK/VDX Application Verification Methods
43.
Dependability Construction Research Of Train-centric CBTC System Based On STPA And CPN
44.
Research On Availability Evaluation Of Multi-Mode Onboard Train Control System For Urban Rail Transmit
45.
Modeling And Verification Of Zone Controller For CBTC System Based On CPN
46.
Research On The Optimization Of Test Sequence Generation Method For CTCS-3 Level Train Control On-board Equipment
47.
Modeling And Verification Of Operation Scenarios Of Train Control System For Train-to-Train Communication Based On CPN
48.
Modeling And Verification Of Tracking Operation Module In Train-ground Collaborative Control System
49.
Formal Security Evaluation And Improvement Of Two Types Of Typical In-vehicle Protocols
<<First
<Prev
Next>
Last>>
Jump to
