Showing results 1 to 1 of 1
An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification Koo, SR; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Yoo, YJ, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.89, no.3, pp.248 - 260, 2005-09 |
Discover