Showing results 1 to 1 of 1
Development of Software Requirement Analysis Tool for NPP Software Fields Based on Software Inspection and Formal Method Koo, SR; Son, HS; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Son, DS; Choi, SS, International Symposium on Future I&C for NPP (ISOFIC 2002), pp.159 - 164, 2002-11 |
Discover