Browse "CS-Conference Papers(학술회의논문)" by Author 1031
Showing results 5 to 7 of 7
| 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
Type
- 102 Article
- 7,380 Conference
- 1 Thesis
Date issued
- 927 2020 - 2024
- 2,486 2010 - 2019
- 2,318 2000 - 2009
- 1,422 1990 - 1999
- 326 1980 - 1989