Junbeom Yoo, Sung Deok Cha, Han Seiong Son, Chang Hwoi Kim, Jang-Soo Lee. PLC-Based Safety Critical Software Development for Nuclear Power Plants. In Maritta Heisel, Peter Liggesmeyer, Stefan Wittmann, editors, Computer Safety, Reliability, and Security, 23rd International Conference, SAFECOMP 2004, Potsdam, Germany, September 21-24, 2004, Proceedings. Volume 3219 of Lecture Notes in Computer Science, pages 155-165, Springer, 2004. [doi]
Abstract is missing.