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

*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Fingerprint

Dive into the research topics of 'An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification'. Together they form a unique fingerprint.

Keyphrases

Computer Science