정보과학회지

전체 수록논문 (2,077)

2014년 (Vol.32)
- Vol.32 No.12
- Vol.32 No.10
- Vol.32 No.9
- Vol.32 No.8
- Vol.32 No.7
- Vol.32 No.6
- Vol.32 No.5
- Vol.32 No.4
- Vol.32 No.3
- Vol.32 No.2
- Vol.32 No.1
2013년 (Vol.31)
- Vol.31 No.12
- Vol.31 No.11
- Vol.31 No.10
- Vol.31 No.9
- Vol.31 No.8
- Vol.31 No.7
- Vol.31 No.6
- Vol.31 No.5
- Vol.31 No.4
- Vol.31 No.3
- Vol.31 No.2
- Vol.31 No.1
2012년 (Vol.30)
- Vol.30 No.12
- Vol.30 No.11
- Vol.30 No.10
- Vol.30 No.9
- Vol.30 No.8
- Vol.30 No.7
- Vol.30 No.6
- Vol.30 No.5
- Vol.30 No.4
- Vol.30 No.3
- Vol.30 No.2
- Vol.30 No.1
2011년 (Vol.29)
- Vol.29 No.12
- Vol.29 No.10
- Vol.29 No.9
- Vol.29 No.8
- Vol.29 No.7
- Vol.29 No.6
- Vol.29 No.5
- Vol.29 No.4
- Vol.29 No.3
- Vol.29 No.2
- Vol.29 No.1
2010년 (Vol.28)
- Vol.28 No.12
- Vol.28 No.11
- Vol.28 No.10
- Vol.28 No.9
- Vol.28 No.8
- Vol.28 No.7
- Vol.28 No.6
- Vol.28 No.5
- Vol.28 No.4
- Vol.28 No.3
- Vol.28 No.1
2009년 (Vol.27)
- Vol.27 No.12
- Vol.27 No.11
- Vol.27 No.10
- Vol.27 No.9
- Vol.27 No.8
- Vol.27 No.7
- Vol.27 No.6
- Vol.27 No.5
- Vol.27 No.4
- Vol.27 No.3
- Vol.27 No.2
- Vol.27 No.1
2008년 (Vol.26)
- Vol.26 No.12
- Vol.26 No.11
- Vol.26 No.10
- Vol.26 No.9
- Vol.26 No.8
- Vol.26 No.7
- Vol.26 No.6
- Vol.26 No.5
- Vol.26 No.4
- Vol.26 No.3
- Vol.26 No.2
- Vol.26 No.1
2007년 (Vol.25)
- Vol.25 No.12
- Vol.25 No.11
- Vol.25 No.10
- Vol.25 No.9
- Vol.25 No.8
- Vol.25 No.7
- Vol.25 No.6
- Vol.25 No.5
- Vol.25 No.4
- Vol.25 No.3
- Vol.25 No.2
- Vol.25 No.1
2006년 (Vol.24)
- Vol.24 No.12
- Vol.24 No.11
- Vol.24 No.10
- Vol.24 No.9
- Vol.24 No.8
- Vol.24 No.7
- Vol.24 No.6
- Vol.24 No.5
- Vol.24 No.4
- Vol.24 No.3
- Vol.24 No.2
- Vol.24 No.1
2005년 (Vol.23)
- Vol.23 No.12
- Vol.23 No.11
- Vol.23 No.10
- Vol.23 No.9
- Vol.23 No.8
- Vol.23 No.7
- Vol.23 No.6
- Vol.23 No.5
- Vol.23 No.4
- Vol.23 No.3
- Vol.23 No.2
- Vol.23 No.1
2004년 (Vol.22)
- Vol.22 No.12
- Vol.22 No.11
- Vol.22 No.10
- Vol.22 No.9
- Vol.22 No.8
- Vol.22 No.7
- Vol.22 No.5
- Vol.22 No.4
- Vol.22 No.3
- Vol.22 No.2
- Vol.22 No.1
2003년 (Vol.21)
- Vol.21 No.12
- Vol.21 No.11
- Vol.21 No.10
- Vol.21 No.9
- Vol.21 No.8
- Vol.21 No.7
- Vol.21 No.6
- Vol.21 No.5
- Vol.21 No.4
- Vol.21 No.3
- Vol.21 No.2
- Vol.21 No.1
2002년 (Vol.20)
- Vol.20 No.12
- Vol.20 No.11
- Vol.20 No.10
- Vol.20 No.9
- Vol.20 No.8
- Vol.20 No.7
- Vol.20 No.6
- Vol.20 No.5
- Vol.20 No.4
- Vol.20 No.3
- Vol.20 No.2
- Vol.20 No.1
2001년 (Vol.19)
- Vol.19 No.12
- Vol.19 No.11
- Vol.19 No.10
- Vol.19 No.9
- Vol.19 No.8
- Vol.19 No.7
- Vol.19 No.6
- Vol.19 No.5
- Vol.19 No.4
- Vol.19 No.3
- Vol.19 No.2
- Vol.19 No.1
2000년 (Vol.18)
- Vol.18 No.12
- Vol.18 No.11
- Vol.18 No.10
- Vol.18 No.9
- Vol.18 No.8
- Vol.18 No.7
- Vol.18 No.6
- Vol.18 No.5
- Vol.18 No.4
- Vol.18 No.3
- Vol.18 No.2
- Vol.18 No.1
1999년 (Vol.17)
- Vol.17 No.12
- Vol.17 No.11
- Vol.17 No.10
- Vol.17 No.9
- Vol.17 No.8
- Vol.17 No.7
- Vol.17 No.6
- Vol.17 No.5
- Vol.17 No.4
- Vol.17 No.3
- Vol.17 No.2
- Vol.17 No.1
1998년 (Vol.16)
- Vol.16 No.12
- Vol.16 No.11
- Vol.16 No.10
- Vol.16 No.9
- Vol.16 No.8
- Vol.16 No.7
- Vol.16 No.6
- Vol.16 No.5
- Vol.16 No.4
- Vol.16 No.3
- Vol.16 No.2
- Vol.16 No.1
1997년 (Vol.15)
- Vol.15 No.12
- Vol.15 No.11
- Vol.15 No.10
- Vol.15 No.9
- Vol.15 No.8
- Vol.15 No.7
- Vol.15 No.6
- Vol.15 No.5
- Vol.15 No.4
- Vol.15 No.3
- Vol.15 No.2
- Vol.15 No.1
1996년 (Vol.14)
- Vol.14 No.12
- Vol.14 No.11
- Vol.14 No.10
- Vol.14 No.9
- Vol.14 No.8
- Vol.14 No.7
- Vol.14 No.6
- Vol.14 No.5
- Vol.14 No.4
- Vol.14 No.3
- Vol.14 No.2
- Vol.14 No.1
1995년 (Vol.13)
- Vol.13 No.12
- Vol.13 No.11
- Vol.13 No.10
- Vol.13 No.9
- Vol.13 No.8
- Vol.13 No.7
- Vol.13 No.6
- Vol.13 No.5
- Vol.13 No.4
- Vol.13 No.3
- Vol.13 No.2
- Vol.13 No.1
1994년 (Vol.12)
- Vol.12 No.11
- Vol.12 No.10
- Vol.12 No.9
- Vol.12 No.6
- Vol.12 No.5
- Vol.12 No.4
- Vol.12 No.3
- Vol.12 No.2
- Vol.12 No.1
1993년 (Vol.11)
- Vol.11 No.6
- Vol.11 No.5
- Vol.11 No.4
- Vol.11 No.3
- Vol.11 No.2
- Vol.11 No.1
1992년 (Vol.10)
- Vol.10 No.6
- Vol.10 No.5
- Vol.10 No.1
1987년 (Vol.5)
- Vol.5 No.2
- Vol.5 No.1
1986년 (Vol.4)
- Vol.4 No.2
1984년 (Vol.2)
- Vol.2 No.1
1983년 (Vol.1)
- Vol.1 No.1
더보기접기

10개씩

2013년, Vol.31 No.5

01.

원자력 발전소 I&C 시스템의 안전성 분석을 위한 신기술 적용 사례

이동아,김의섭,유준범,Lee. Dong-Ah,Kim. Eui-Sub,Yoo. Junbeom 한국정보과학회 정보과학회지 8 Pages

무료
02.

자동차 전장용 소프트웨어 검증 동향

최윤자,이우진,Choi. Yunja,Lee. Woo Jin 한국정보과학회 정보과학회지 7 Pages

무료
03.

Qplus-AIR의 DO-178B 인증 경험

김태호,손동환,신창민,박사천,임동혁,이화영,김병호,Kim. Taeho,Son. Donghwan,Shin. Changmin,Park. Sachoun,Lim. Donghyouk,Lee. Hwayoung,Gim. Byeongho 한국정보과학회 정보과학회지 8 Pages

무료
04.

안전 필수 시스템의 정형기법 적용 - 원자력 시스템과 철도 제어 시스템 사례연구

이혁,신지훈,안소진,이진호,최진영,Lee. Hyuk,Shin. Jee-Hoon,Ahn. So-Jin,Lee. Jean-Ho,Choi. Jin-Young 한국정보과학회 정보과학회지 10 Pages

무료
05.

임베디드 소프트웨어 품질 측정 방안 연구

한익준,Han. Ik Joon 한국정보과학회 정보과학회지 7 Pages

무료
06.

임베디드 소프트웨어의 시스템 테스팅 환경 구성 및 시험 기법 사례 연구

김상운,김태효,방호정,오창균,서희석,Kim. Sangwoon,Kim. Taihyo,Bang. Hojung,Oh. Changkyoon,Seo. Heuiseok 한국정보과학회 정보과학회지 10 Pages

무료