Login / Signup
Seo Ryong Koo
Publication Activity (10 Years)
Years Active: 2003-2006
Publications (10 Years): 0
</>
Publications
</>
Seo Ryong Koo
,
Poong-Hyun Seong
Software design specification and analysis technique (SDSAT) for the development of safety-critical systems based on a programmable logic controller (PLC).
Reliab. Eng. Syst. Saf.
91 (6) (2006)
Seo Ryong Koo
,
Poong-Hyun Seong
,
Junbeom Yoo
,
Sung Deok Cha
,
Yeong Jae Yoo
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification.
Reliab. Eng. Syst. Saf.
89 (3) (2005)
Myung Jun Song
,
Seo Ryong Koo
,
Poong-Hyun Seong
Verification method for the FBD-style design specification using SDT and SMV.
IASTED Conf. on Software Engineering
(2004)
Seo Ryong Koo
,
Poong-Hyun Seong
,
Junbeom Yoo
,
Sung Deok Cha
,
Cheong Youn
,
Hyun-chul Han
An integrated environment of S/W specification and V&V for safety-critical systems.
IASTED Conf. on Software Engineering
(2004)
Myung Jun Song
,
Seo Ryong Koo
,
Poong-Hyun Seong
Development of a Verification Method for Timed Function Blocks Using ESDT and SMV.
HASE
(2004)
Seo Ryong Koo
,
Poong-Hyun Seong
,
Sung Deok Cha
Software Design Specification and Analysis Technique for the Safety Critical Software Based on Programmable Logic Controller (PLC).
HASE
(2004)
Seo Ryong Koo
,
Han Seong Son
,
Poong-Hyun Seong
A method of formal requirement analysis for NPP I&C systems based on UML modeling with software cost reduction.
J. Syst. Softw.
67 (3) (2003)