Safety Analysis of Automatic Door Operation for Metro Train: A Case Study.

Ajeet Kumar Pandey Srinivas Panchangam Jessy George Smith

Published in: QSHINE (2013)

Keyphrases

safety analysis
nuclear power plant
control system
safety critical
semi automatic
fault model
distributed systems
formal methods
condition monitoring
symbolic model checking