An intelligent hybrid system for surface coal mine safety analysis.

Nikola Lilic Ivan Obradovic A. Cvjetic

Published in: Eng. Appl. Artif. Intell. (2010)

Keyphrases

safety analysis
control system
safety critical
nuclear power plant
symbolic model checking
fault model
expert systems
information systems
monitoring system
real time