Browse "School of Computing(전산학부)" by Author Min, Sang-Yoon
Showing results 10 to 11 of 11
| 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 |
| Tailoring and Verifying Software Process Yoon, Il-Chul; Min, Sang-Yoon; Bae, Doo-Hwan, Asia Pacific Software Engineering Conference, pp.202 - 209, IEEE, 2001-12 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,894 2020 - 2024
- 5,392 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989