Browse "School of Computing(전산학부)" by Author 1031
Showing results 1 to 7 of 7
| A Solution to the On-Line Image Downgrading Problem Cha, Sungdeok; Park, G. H.; Lee, Heung-Kyu, Annual Computer Security Applications Conference, pp.108 - 112, 1995-12 |
| An Empirical Study on Software Error Detection: Voting, Instrumentation, and Fagan Inspection So, Sunsup; Lim, Youngseop; Cha, Sungdeok; Kwon, Yong Rae, Proc. 2nd Asia-Pacific Software Eng. Conf., pp.345-351, IEEE, 1995-12 |
| Applying Model Checking to Concurrent Object-Oriented Software Cho, Seung Mo; Bae, Doo-Hwan; Cha, Sungdeok; Kim, Yuoung Gon; Yoo, Byung Kyu; Kim, Sang Taek, Fourth International Symposium on AUtonomous Decentralized Systems, pp.380 - 383, IEEE, 1999-03 |
| On the concurrent behavior of SCR specifications Hong Hyoung Seok; Cha, Sungdeok; Kwon, Yong Rae, Proceedings of the 1997 21st Annual International Computer Software & Applications Conference, COMPSAC'97, pp.258 - 263, 1997-08-13 |
| 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 |
| Towards Unified Architecture Description Containing Component's Behavior Park, Wei-Jin; Kim, Tai-Hyo; Bae, Doo-Hwan; Cha, Sungdeok, Reusable Architecture for Distributed Information Systems(RACDIS), RACDIS, 1999 |
| 컬러드 페트리네트를 이용한 지능망 서비스의 모델링 및 검증 권용래; 차성덕, 차세대 지능망 학술대회, 1996 |
Discover
Open Access
- 187 OA Article
Date issued
- 1,745 2020 - 2024
- 5,391 2010 - 2019
- 4,587 2000 - 2009
- 2,927 1990 - 1999
- 839 1980 - 1989