Browse "CS-Conference Papers(학술회의논문)" by Author Kwon, Yong-Rae
Showing results 1 to 2 of 2
| Safety Verification of Ada95 Programs Using Software Fault Trees Min, Sang-Yoon; Jang, Yoon-Kyu; Cha, Sungdeok; Kwon, Yong-Rae; Bae, Doo-Hwan, SAFECOMP 99, pp.226 - 238, Springer Verlag (Germany), 1999 |
| UML / OCL을 이용한 기업형 컴포넌트의 자동화 시험 환경 김, 상운; 마, 유승; 강, 제성; 배, 두환; 권, 용래; Kim, Sang-Woon; Ma, Yu-Seung; et al, 한국정보과학회 학술발표논문집, Vol.28, No.2, pp.553-555, 2001-10 |
Discover
Type
- 102 Article
- 7,390 Conference
- 1 Thesis
Date issued
- 937 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989