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
01.01.2018
10 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.