KOASAS

차성덕, '97 정형기법 워크숍, pp.77 - 88, 1997

Cha, Sungdeok, IFAC Workshop, Safety of Computer Control systems, 1986

Cha, Sungdeok, nd International Conference on Software Engineering, Artificial Intelligence, Networking & Parallel/Distributed Computing (SNPD'01), 2001

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.697 - 700, 1996

차성덕, 한국정보과학회 추계학술대회, pp.361 - 363, 2004

Cha, Sungdeok, Computer Assurance (Compass '94), 1994

Cha, Sungdeok, 17th Annual International Symposium on Fault-Tolerant Computing, 1987

차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.519 - 521, 1999

Cha, Sungdeok, Proceedings of Formal Approaches to Testing of Software (FATES '01), pp.15 - 30, 2001

Cha, Sungdeok, 24th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2005), 2005

차성덕, 한국정보과학회 춘계학술대회, pp.599 - 602, 1997

Cha, Sungdeok, The 6th International Topical Meeting on Nuclear Reactor Thermal Hydraulics, Operations and Safety(NUTHOS-6), pp.1 - 10, 2004

Cha, Sungdeok, UNU/IIST 정형기법 국제학술대회, 1997

Cha, Sungdeok, 8th International Conference, TACAS 2002, 2002

차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998

Cha, Sungdeok, International Conference on Computer Assurance, 1993

차성덕, 한국정보과학회 춘계학술대회 발표논문집, 1998

차성덕, National Conference on Advanced Intelligent Network, pp.205 - 208, 1996

차성덕, 한국정보과학회 추계학술대회 발표논문집, pp.593 - 595, 1999

Cha, Sungdeok, The 23th International conference on Computer Safety, Reliability and Security(SAFECOMP2004), pp.155 - 165, 2004

차성덕, 한국정보과학회 추계학술대회, pp.1415 - 1418, 1995

Cha, Sungdeok, 10th International Conference on Software Engineering, 1988

차성덕, 한국정보과학회 춘계학술대회 발표논문집, pp.595 - 598, 1997

Cha, Sungdeok, 제9회 화랑대 국제학술대회, pp.91 - 106, 1997

차성덕, 2006 한국컴퓨터종합학술대회, pp.190 - 192, 2006

Cha, Sungdeok, Nuclear Plant Instrumentation, Control and Human-Machine Interface Technologies, 2000

차성덕, 한국정보과학회 추계학술대회 발표논문집, 1997

차성덕, 한국정보과학회 추계학술대회 발표, pp.385 - 387, 2000

Cha, Sungdeok, Int'l Symposium on the future of I&C for NPP(ISOFIC 2002), 2002

Cha, Sungdeok, Proceedings of the 13th Asia Pacific Software Engineering Conference(APSEC2006), pp.243 - 250, 2006

차성덕, 한국정보과학회 추계학술대회, pp.340 - 342, 2004

차성덕, 한국정보과학회 추계학술대회, pp.463 - 465, 2004

차성덕, 2006 한국원자력학회 춘계학술발표회, 2006