Safety analysis of independent columns mounted on isolated bearing system.

Yu Dang Chenghao Liu Zhao Hong

Published in: Int. J. Comput. Intell. Syst. (2011)

Keyphrases

safety analysis
nuclear power plant
safety critical
control system
symbolic model checking
information systems
orders of magnitude
fault model
expert systems