Font Size: a A A
Keyword [UPPAAL]
Result: 21 - 40 | Page: 2 of 3
21. Modeling And Semi-physical Simulation Of Train Control Center Based On Timed Automata
22. Design And Verification Of RBC Information Control Process For Train Control System For Western Railway Based On COMET
23. Modeling And Verification Of ZC Subsystem Based On Timed Automata
24. Automatic Generation Of Test Cases For Computer Interlocking Route Control Process Based On UPPAAL
25. Formal Modeling Of UPPAAL Based ETCS-1/ETCS-NTC Level Transition
26. Modeling Analysis And Verification Of Temporary Speed Restriction Server In High Speed Railway Train Control System Based On Timed Automata
27. Modeling And Verification Of RBC Control Train Scene Based On Timed Automata
28. Modeling And Verification Of Complex Scenarios Of Autonomous Chinese Train Control System Level 3
29. Modeling And Verification Of Operational Scenario Of Train Control System Based On Train To Train Communication
30. Modeling And Verification Of Movement Authority Based On Timed Auomata
31. Modeling Analysis And Verification Of Zone Controller In Communication Based Train Control System
32. Modeling And Verification Of Regional Data Center For CTCS-1 Train Control System Based On SysML And Timed Automata
33. Safety Design Method Of Packaging Machinery
34. Research On Operation Strategy Of Air Conditioning System In Smart Building Based On Stochastic Hybrid Automata
35. Security Modeling And Validation Of Movement Authority In CBTC System
36. Research On Local Feeder Automation System
37. Research On Modeling And Formal Verification For Autonomous Driving Scenario
38. Ventilation Scheduling Strategy Research Based On Deep Reinforcement Learning
39. Formal Modeling And Verification Of Section Occupancy Logic Check Based On Model Checking
40. Research On The Application Of Railway RSSP-2 Secure Communication Protocol
  <<First  <Prev  Next>  Last>>  Jump to