A formal software requirements specification method for digital nuclear plant protection systems

Junbeom Yoo, Taihyo Kim, Sungdeok Cha, Jang Soo Lee, Han Seong Son

Research output: Contribution to journalArticlepeer-review

35 Citations (Scopus)

Fingerprint Dive into the research topics of 'A formal software requirements specification method for digital nuclear plant protection systems'. Together they form a unique fingerprint.

Engineering & Materials Science