Showing results 1 to 1 of 1
NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARESPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICALSYSTEMS HAN, HYUNCHUL; 성풍현; 차성덕; 윤청; YOO, JUNBEOM; KOO, SEO RYONG, NUCLEAR ENGINEERING AND TECHNOLOGY , v.38, no.3, pp.259 - 276, 2006-04 |
Discover