Sign in

Safety Analysis of Automatic Train Operation Based on ETCS.

Ziyue TangNing ZhaoKhalid KhanKatinka 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