Chi-Shiang Cho, Wei-Ho Chung, Deyun Gao, Hongke Zhang, Sy-Yen Kuo. Dependability Enhancement of Reactor Containment in Safety Critical Nuclear Power Plants. In Leon Alkalai, Timothy Tsai, Tomohiro Yoneda, editors, 17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011. pages 129-134, IEEE Computer Society, 2011. [doi]
Abstract is missing.