Seo Ryong Koo

According to our database, Seo Ryong Koo authored at least 7 papers between 2003 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2006

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

2005

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

2004

Verification method for the FBD-style design specification using SDT and SMV.

Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong

Proceedings of the IASTED International Conference on Software Engineering, 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

Proceedings of the IASTED International Conference on Software Engineering, 2004

Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.

Myung Jun Song, Seo Ryong Koo, Poong-Hyun Seong

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

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

Proceedings of the 8th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2004), 2004

2003

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