Browse "CS-Conference Papers(학술회의논문)" by Author 1031

Showing results 4 to 7 of 7

4
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

5
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

6
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

7
컬러드 페트리네트를 이용한 지능망 서비스의 모델링 및 검증

권용래; 차성덕, 차세대 지능망 학술대회, 1996

Discover

rss_1.0 rss_2.0 atom_1.0