Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author Koh, KY
Showing results 1 to 3 of 3
| A Formal Verification Method of Function Block Diagrams with Tool Supporting : Practical Experiences Koh, KY; Jee, EK; Jeon, SJ; Seong, Poong-Hyun; Cha, SD, the 19th International DAAAM Symposium, 2008-10-25 |
| A Systematic Approach to Safety Verification of Function Block Diagrams Koh, KY; Seong, Poong-Hyun; Jee, EK; Cha, SD; Park, GY, ISSNP2008, 2008-09-20 |
| Fault Tree-based Software Safety Analysis of Function Block Diagrams Koh, KY; Seong, Poong-Hyun, ISSNP 2007, 2007-07-23 |
Discover
Type
- 2,798 Article
- 5,616 Conference
- 430 Patent
- 911 Thesis(Master)
- 546 Thesis(Ph.D)
Open Access
- 152 OA Article
Date issued
- 1,232 2020 - 2024
- 4,359 2010 - 2019
- 2,657 2000 - 2009
- 1,431 1990 - 1999
- 449 1980 - 1989