간행물 정보
-
- 제공처
- 한국과학기술정보연구원
- 발행기관
- 한국정보과학회
- 수록기간
- 1992 ~ 2018
- 주제분류
- 공학 > 컴퓨터학
Vol.30 No.2 (9건)
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.9-21
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
LTL Synthesis를 통한 반응형 시스템의 신뢰성 향상
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.22-28
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.29-33
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.34-40
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.41-48
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
실시간 제약성을 갖는 멀티프로세서 임베디드 시스템의 프로세서 결함을 고려한 스케줄 기법
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.49-58
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.59-61
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
소프트웨어 테스팅 관점에서 본 소프트웨어 기능안전성 표준 비교
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.62-71
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.30 No.2 2012 pp.72-81
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.