A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction. - Seo Ryong Koo; Han Seong Son; Poong-Hyun Seong (J. Syst. Softw., 2003)

Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC). - Seo Ryong Koo; Poong-Hyun Seong; Sung Deok Cha (HASE, 2004)

Development of a Verification Method for Timed Function Blocks Using ESDT and SMV. - Myung Jun Song; Seo Ryong Koo; Poong-Hyun Seong (HASE, 2004)

An integrated environment of S/W specification and V&V for safety-critical systems. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Cheong Youn; Hyun-chul Han (IASTED Conf. on Software Engineering, 2004)

Verification method for the FBD-style design specification using SDT and SMV. - Myung Jun Song; Seo Ryong Koo; Poong-Hyun Seong (IASTED Conf. on Software Engineering, 2004)

An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification. - Seo Ryong Koo; Poong-Hyun Seong; Junbeom Yoo; Sung Deok Cha; Yeong Jae Yoo (Reliab. Eng. Syst. Saf., 2005)

Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC). - Seo Ryong Koo; Poong-Hyun Seong (Reliab. Eng. Syst. Saf., 2006)