Browse "NE-Journal Papers(저널논문)" by Author Yoo, Junbeom
Showing results 1 to 2 of 2
| FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram Jee, Eunk Young; Jeon, Seungjae; Cha, Sungdeok; Koh, Kwangyong; Yoo, Junbeom; Park, Geeyong; Seong, Poong-Hyun, JOURNAL OF RESEARCH AND PRACTICE IN INFORMATION TECHNOLOGY, v.42, no.3, pp.171 - 188, 2010-08 |
| 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 |
Discover
Type
- 2,774 Article
Open Access
- 152 OA Article
Date issued
- 463 2020 - 2024
- 1,120 2010 - 2019
- 712 2000 - 2009
- 369 1990 - 1999
- 110 1980 - 1989