Paper ThBT13.12
Li, Aiying (Beijing Jiaotong University), Liu, Yu (Beijing Jiaotong University), Yuan, Lei (Beijing Jiaotong University), Wei, Guodong (Beijing Jiaotong University)
Formal Verification of Key Function of a New Type of Train Control System Based on Timed Automata
Scheduled for presentation during the Poster Session "Railway systems and applications" (ThBT13), Thursday, September 26, 2024,
14:30−16:30, Foyer
2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC), September 24- 27, 2024, Edmonton, Canada
This information is tentative and subject to change. Compiled on December 26, 2024
|