Browse "NE-Journal Papers(저널논문)" by Subject formal method
Showing results 1 to 2 of 2
| An effective technique for the software requirements analysis of NPP safety-critical systems, based on software inspection, requirements traceability, and formal specification Koo, SR; Seong, Poong-Hyun; Yoo, J; Cha, Sungdeok; Yoo, YJ, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.89, no.3, pp.248 - 260, 2005-09 |
| 실시간 모델 체커를 이용한 폴트 트리의 체계적 검증 지은경; 차성덕; 손한성; 유준범; 구서룡; 성풍현, 정보과학회논문지 : 소프트웨어 및 응용, v.29, no.12, pp.860 - 872, 2002-12 |
Discover
Type
- 2,819 Article
Open Access
- 152 OA Article
Date issued
- 508 2020 - 2024
- 1,120 2010 - 2019
- 712 2000 - 2009
- 369 1990 - 1999
- 110 1980 - 1989