Showing results 1 to 2 of 2
Automated test case generation for FBD programs implementing reactor protection system software Jee, Eun-Kyoung; Shin, Donghwan; Cha, Sungdeok; Lee, Jang-Soo; Bae, Doo-Hwan, SOFTWARE TESTING VERIFICATION & RELIABILITY, v.24, no.8, pp.608 - 628, 2014-12 |
Software safety analysis of function block diagrams using fault trees Oh, Younju; Yoo, Junbeom; Cha, Sungdeok; Son, Han Seong, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.88, pp.215 - 228, 2005-06 |
Discover