Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis
Electrical and information technologies for rail transportation (International conference)
Electrical and information technologies for rail transportation (International conference) ; 175-184
2018-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.