Safety Critical System의 비정상 행위를 테스트하기 위한테스트 케이스 생성 기법
한국차세대컴퓨팅학회 한국차세대컴퓨팅학회 논문지 Vol.9 No.1 2013.02 pp.25-37
시스템 아키텍처 DB의 활용을 통한 안전 중시시스템 설계에 대한 통합 접근법
대한안전경영과학회 대한안전경영과학회 학술대회논문집 2013년 대한안전경영과학회 추계학술대회 2013.11 pp.605-610
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
현행 및 개정안 환자안전법의 자율보고시스템에 대한 비판적 고찰
국제문화기술진흥원 The Journal of the Convergence on Culture Technology (JCCT) Vol.4 No.2 2018.05 pp.33-42
4,000원
※ 기관로그인 시 무료 이용이 가능합니다.
철도분야의 안전관리체계와 국가핵심기반보호계획 수립지침(교통분야)과의 비교연구
한국재난정보학회 한국재난정보학회 학술발표대회 안전한공동체를 위한 미래재난대응 기술공유 2020.11 pp.109-110
정형기법을 이용한 Safety-Critical System 개발 방법론
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2000 pp.486-488
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Safety-Critical Real-Time Operating System의 설계 및 구현
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.226-228
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
A Formal Safety Analysis for PLC Software-Based Safety Critical System using Z
[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 1997 pp.153-158
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Quantitative Reliability Assessment for Safety Critical System Software
[Kisti 연계] 대한전기학회 Journal of electrical engineering & technology Vol.2 No.3 2007 pp.386-390
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
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
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Software Reliability of Safety Critical FPGA-based System using System Engineering Approach
[Kisti 연계] 한국시스템엔지니어링학회 시스템엔지니어링학술지 Vol.14 No.2 2018 pp.49-57
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
Specialized Sensors and System Modeling for Safety-critical Application
[Kisti 연계] 대한전기학회 Journal of electrical engineering & technology Vol.9 No.3 2014 pp.950-956
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
"3+3 PROCESS" FOR SAFETY CRITICAL SOFTWARE FOR I&C SYSTEM IN NUCLEAR POWER PLANTS
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.41 No.1 2009 pp.91-98
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
"3+3 PROCESS" FOR SAFETY CRITICAL SOFTWARE FOR I&C SYSTEM IN NUCLEAR POWER PLANTS
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.41 No.2 2009 pp.91-98
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 2005 pp.1079-1080
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국원자력학회 Nuclear Engineering and Technology Vol.51 No.1 2019 pp.45-53
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회논문지 Vol.44 No.9 2017 pp.893-907
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
안전필수철도신호 선로전환기 제어모듈의 위험측고장률예측에 관한 연구
[Kisti 연계] 대한전기학회 대한전기학회 학술대회논문집 2005 pp.1565-1567
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
소프트웨어 관점에서 본 내장형 시스템의 테스트 프로세스
[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.271-273
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
안전- 필수 소프트웨어에 관한 안전성분석 체계구성에 대한 연구
[Kisti 연계] 한국원자력학회 한국원자력학회 학술대회논문집 2004 p.228
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
0개의 논문이 장바구니에 담겼습니다.
- 구매 불가 논문
-