Browse "Dept. of Nuclear and Quantum Engineering(원자력및양자공학과)" by Author 지은경
Showing results 1 to 1 of 1
| 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
Discover
Type
- 2,777 Article
- 5,608 Conference
- 426 Patent
- 911 Thesis(Master)
- 546 Thesis(Ph.D)
Open Access
- 152 OA Article
Date issued
- 1,203 2020 - 2024
- 4,359 2010 - 2019
- 2,657 2000 - 2009
- 1,431 1990 - 1999
- 449 1980 - 1989