[Kisti 연계] 한국정보처리학회 정보처리학회논문지 D Vol.d17 No.6 2010 pp.415-422
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국멀티미디어학회 멀티미디어학회논문지 Vol.21 No.9 2018 pp.1099-1109
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 대한임베디드공학회 대한임베디드공학회논문지 Vol.13 No.6 2018 pp.279-288
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.6 No.4 2017 pp.167-176
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.5 No.12 2016 pp.615-622
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
CodeAnt : 소프트웨어 검증 효율 향상을 위한 코드 슬라이싱 도구
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.4 No.1 2015 pp.1-8
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
온라인 게임 서버의 파티 시스템 검증을 위한 스핀 모델 체커 적용에 관한 연구
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.4 No.11 2015 pp.479-486
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.32 No.4 2014 pp.51-58
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
차량전장용 운영체제 검증 사례를 통한 소프트웨어 안전성 검증 기법 소개
[Kisti 연계] 한국정보처리학회 정보처리학회지 Vol.21 No.4 2014 pp.48-55
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
모델기반 컴포넌트 개발방법론의 지원을 위한 추상컴포넌트 자동 추출기법
[Kisti 연계] 한국정보처리학회 정보처리학회논문지/소프트웨어 및 데이터 공학 Vol.2 No.8 2013 pp.543-554
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.31 No.5 2013 pp.18-24
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
역공학을 이용한 자바 소스 코드의 변화량 분석 및 시각화 도구 개발
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 D Vol.d19 No.1 2012 pp.39-48
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
모델기반 컴포넌트 정제 과정의 행위 일관성 검증을 위한 변환기
[Kisti 연계] 한국정보처리학회 정보처리학회논문지 D Vol.d18 No.6 2011 pp.443-450
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
새로운 항암제 처방 감사 시스템 도입을 통한 의료의 질 향상
[Kisti 연계] 한국의료질향상학회 Quality improvement in health care Vol.14 No.2 2008 pp.125-132
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
간호일지 상의 간호중재와 지각된 간호중재의 수행빈도 비교 -말기 암환자를 중심으로-
[Kisti 연계] 한국간호과학회 Journal of Korean academy of nursing Vol.35 No.3 2005 pp.441-450
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
자동차 전자식 주차 브레이크 시스템 안전 요구사항 검증을 위한 모델검증 적용
[NRF 연계] 한국정보처리학회 KIPS Transactions on Software and Data Engineering Vol.6 No.4 2017.04 pp.167-176
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
아동의 학업성취도와 교우관계 향상을 위한 또래교수 실행연구
[NRF 연계] 부산대학교 과학교육연구소 교사교육연구 Vol.56 No.1 2017.03 pp.43-62
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
차량전장용 소프트웨어의 API 제약사항 위배여부 탐지를 위한 실행경로 탐색방법과 모델검증 방법의 비교
[NRF 연계] 한국정보처리학회 KIPS Transactions on Software and Data Engineering Vol.5 No.12 2016.12 pp.615-622
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
온라인 게임 서버의 파티 시스템 검증을 위한 스핀 모델 체커 적용에 관한 연구
[NRF 연계] 한국정보처리학회 KIPS Transactions on Software and Data Engineering Vol.4 No.11 2015.11 pp.479-486
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-