한국인터넷방송통신학회 International Journal of Internet, Broadcasting and Communication Vol.15 No.3 2023.08 pp.219-230
4,300원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
Qualification Paradigm for Independent Software Verification and Validation
보안공학연구지원센터(IJSEIA) International Journal of Software Engineering and Its Applications Vol.8 No.3 2014.03 pp.305-312
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
보안공학연구지원센터(IJFGCN) International Journal of Future Generation Communication and Networking vol.3 no.1 2010.03 pp.33-46
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
Trustworthy Construction Approach of BPR Software System Based on Semantic Model Verification
보안공학연구지원센터(IJHIT) International Journal of Hybrid Information Technology Vol.7 No.4 2014.07 pp.83-90
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
유비쿼터스 컴퓨팅 환경에서 안전성 검증을 위한 소프트웨어 감사 시스템
보안공학연구지원센터(JSE) 보안공학연구논문지 Vol.1 No.1 2005.08 pp.20-26
※ 원문제공기관과의 협약기간이 종료되어 열람이 제한될 수 있습니다.
The Software Verification and Validation Tasks for a Safety Critical System in Nuclear Power Plants
[Kisti 연계] 한국안전학회 International Journal of Safety Vol.3 No.1 2004 pp.38-46
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 Journal of computing science and engineering Vol.11 No.1 2017 pp.9-23
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Verification of Safety Critical Software
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.28 No.6 1996 pp.594-601
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Flight Software Validation and Verification Process for GEO Satellite
[Kisti 연계] 한국우주과학회 한국우주과학회 학술대회논문집(우주과학회보) 2006 p.155
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 1998 pp.335-340
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국컴퓨터정보학회 Journal of the Korea society of computer and information Vol.27 No.5 2022 pp.109-116
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Verification Test Script Parser for Flight Software using Lexical Analyser in KOMPSAT-2
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.430-432
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국산업정보학회 한국산업정보학회논문지 Vol.11 No.3 2006 pp.59-68
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Development and verification of PWR core transient coupling calculation software
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.53 No.11 2021 pp.3653-3664
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
The KNICS Approach for Verification and Validation of Safety Software
[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 2003 p.86
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
ISO 26262 표준 기반의 소프트웨어 검증을 위한 소프트웨어 결함 주입 기법
[Kisti 연계] 한국자동차공학회 한국자동차공학회논문집 Vol.22 No.3 2014 pp.68-74
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-