Showing results 1 to 1 of 1
NuSEE: An integrated environment of software specification and V&V for NPP safety-critical systems Koo S.R.; Seong P.H.; Cha, Sungdeok, 2005 Annual Meeting - American Nuclear Society, v.92, pp.407 - 408, 2005-06-05 |
Discover