국제학회
Safety Analysis of Fuel Cell Processes using Symbolic Model Checking
Sanghun Jeong, Il Moon and Kwangsoon Lee, "Safety Analysis of Fuel Cell Processes using Symbolic Model Checking," Advances in Intelligent Computer Integrated Manufacturing System, SNU, Seoul, pp.372-377, Nov. 21-23, 1994.
