Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author Koo, Seo Ryong
Showing results 11 to 12 of 12
| Toward Easy Inspection and Effective Use of Formal Methods in NPP Software Fields Koo, Seo Ryong; Son, Han Seong; Seong, Poong-Hyun; Yoo, Junbeom; Cha, Sungdeok; Son, Dae Sung; Choi, Seong Soo, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.86, no.1, pp.73 - 74, 2002-06 |
| VERIFICATION METHOD FOR THE FBD-STYLE DESIGN SPECIFICATION USING SDT AND SMV Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, SE2004, 2004-02 |
Discover
Type
- 2,784 Article
- 5,616 Conference
- 430 Patent
- 911 Thesis(Master)
- 546 Thesis(Ph.D)
Open Access
- 152 OA Article
Date issued
- 1,218 2020 - 2024
- 4,359 2010 - 2019
- 2,657 2000 - 2009
- 1,431 1990 - 1999
- 449 1980 - 1989