소장자료
| LDR | 01106namka2200289 c 4500 | ||
| 001 | 0093752780▲ | ||
| 005 | 20180521070424▲ | ||
| 007 | ta▲ | ||
| 008 | 170123s2017 bnka m FC 000c kor ▲ | ||
| 035 | ▼a(DCOLL221016)000000119931▲ | ||
| 040 | ▼a221016▼c221016▲ | ||
| 041 | 0 | ▼akor▼beng▲ | |
| 082 | 0 | 4 | ▼a621.381▼223▲ |
| 090 | ▼a621.381▼b이19ㅇ▲ | ||
| 100 | 1 | ▼a이기철▲ | |
| 245 | 1 | 0 | ▼a안전성 제약사항을 이용한 안전성 테스트 케이스 생성 방법 =▼xA technique for safety test case generation using safety constraint /▼d이기철▲ |
| 260 | ▼a부산 :▼b부산대학교 대학원,▼c2017▲ | ||
| 300 | ▼a61 장 :▼b삽화 ;▼c26 cm▲ | ||
| 500 | ▼a지도교수:채흥석▲ | ||
| 502 | 0 | ▼a학위논문(석사)--▼b부산대학교 대학원 :▼c전기전자컴퓨터공학과,▼d2017. 2.▲ | |
| 504 | ▼a참고문헌: 장 57-59▲ | ||
| 520 | 3 | ▼aAbstract: 장 60-61▲ | |
| 538 | ▼aRequires PDF file reader(application/pdf)▲ | ||
| 653 | ▼a안전성 테스트▲ | ||
| 856 | 4 | ▼adcollection.pusan.ac.kr▼uhttp://dcollection.pusan.ac.kr/jsp/common/DcLoOrgPer.jsp?sItemId=000000119931▲ | |
| 900 | 1 | 1 | ▼aLee, Gi Cheol▲ |
| 999 | ▼c안정화▲ |
안전성 제약사항을 이용한 안전성 테스트 케이스 생성 방법 =A technique for safety test case generation using safety constraint
자료유형
학위논문
서명/책임사항
안전성 제약사항을 이용한 안전성 테스트 케이스 생성 방법 = A technique for safety test case generation using safety constraint / 이기철
개인저자
발행사항
부산 : 부산대학교 대학원 , 2017
형태사항
61 장 : 삽화 ; 26 cm
일반주기
지도교수:채흥석
학위논문주기
학위논문(석사)-- 부산대학교 대학원 : 전기전자컴퓨터공학과 , 2017. 2.
서지주기
참고문헌: 장 57-59
요약주기
Abstract: 장 60-61
시스템사항
Requires PDF file reader(application/pdf)
키워드
청구기호
621.381 이19ㅇ
소장정보
예도서예약
서서가에없는책 신고
방방문대출신청
보보존서고신청
캠캠퍼스대출
우우선정리신청
배자료배달신청
문문자발송
출청구기호출력
학소장학술지 원문서비스
| 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 서비스 |
|---|
북토크
자유롭게 책을 읽고
느낀점을 적어주세요
글쓰기
느낀점을 적어주세요
청구기호 브라우징
관련 인기대출 도서