간행물 정보
-
- 제공처
- 한국과학기술정보연구원
- 발행기관
- 한국정보과학회
- 수록기간
- 1992 ~ 2018
- 주제분류
- 공학 > 컴퓨터학
Vol.31 No.5 (8건)
원자력 발전소 I&C 시스템의 안전성 분석을 위한 신기술 적용 사례
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.10-17
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.18-24
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
자바스크립트 품질 및 테스팅 기술 동향과 안전한 자바스크립트 프로그램 개발을 위한 'SAFE' 사례
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.25-31
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.32-39
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
UML State Diagram 모델을 위한 테스트 케이스 생성 기법에 관한 연구
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.40-45
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
안전 필수 시스템의 정형기법 적용 - 원자력 시스템과 철도 제어 시스템 사례연구
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.46-55
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.56-62
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
임베디드 소프트웨어의 시스템 테스팅 환경 구성 및 시험 기법 사례 연구
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.63-72
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.