Safety Analysis of Automatic Train Operation Based on ETCS.

Ziyue Tang Ning Zhao Khalid Khan Katinka Wolter

Published in: RSSRail (2023)

Keyphrases

safety analysis
nuclear power plant
safety critical
semi automatic
condition monitoring
cooperative
real time
software systems
fuzzy control
symbolic representation
symbolic model checking
fault model