간행물 정보
-
- 제공처
- 한국과학기술정보연구원
- 발행기관
- 한국정보과학회
- 수록기간
- 1992 ~ 2018
- 주제분류
- 공학 > 컴퓨터학
Vol.33 No.7 (6건)
SYNDICATE SW 플랫폼: 안전성이 중요한 시스템을 위한 동기식 분산 모듈형 SW 플랫폼
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.33 No.7 2015 pp.8-14
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
원자로보호계통 소프트웨어 안전 확보를 위한 모델 체킹 및 테스팅 적용 사례 분석과 발전방향 제고
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.33 No.7 2015 pp.15-26
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
안전소프트웨어를 위한 소프트웨어 테스팅 관점에서의 차량기능안전 표준(ISO26262) 적용 방안 논의
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.33 No.7 2015 pp.27-32
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
원자로 제어시스템 FPGA 개발에 사용되는 상용 합성도구의 COTS 인증
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.33 No.7 2015 pp.33-40
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
소프트웨어 기반의 안전 필수 시스템을 위한 안전성 분석 기법
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.33 No.7 2015 pp.41-46
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
인공심장의 예측 가능한 제어를 위한 실시간 소프트웨어 설계 구조 개선 사례
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.33 No.7 2015 pp.47-52
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.