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

Research output: Contribution to journalArticlepeer-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.

Mathematics

Engineering & Materials Science