Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author Koh, Jung Soo
Showing results 1 to 2 of 2
| A Formal Safety Analysis for PLC Software-Based Safety Critical System using Z Koh, Jung Soo; Seong, Poong-Hyun; Son, Han Seong, 한국원자력학회 '97 춘계 학술발표회, pp.153 - 158, 한국원자력학회, 1997-05 |
| Formal Safety Analysis for PLC Software-Based Safety Critical System Using Z Koh, Jung Soo; Seong, Poong-Hyun; Son, Han Seong, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.70, pp.314 - 315, 1997 |
Discover
Type
- 2,799 Article
- 5,616 Conference
- 430 Patent
- 932 Thesis(Master)
- 564 Thesis(Ph.D)
Open Access
- 152 OA Article
Date issued
- 1,272 2020 - 2024
- 4,359 2010 - 2019
- 2,657 2000 - 2009
- 1,431 1990 - 1999
- 449 1980 - 1989