대구한의대학교 향산도서관

자료검색

소장자료+타기관자료검색

검색 타입
상세검색
검색어[전방일치/ 저자:진병문]
3건 중 3건 출력
1/1 페이지 엑셀파일 출력
제한항목
기사 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
서명
Automated Test Generation from Specifications Based on Formal Description Techniques  미리보기
저자
진병문 최영한 김성운
출판사
Electronics and Telecommunications Research Institute
청구기호
ETRI Journal
출판년
1998
자료유형
NotFound 저널기사
소장처
 
2.
서명
Test Sequence Generation from Specification in System Description Language  미리보기
저자
진병문 김성운
출판사
한국이동통신
청구기호
Telecommunications Review
출판년
1996
자료유형
NotFound 저널기사
소장처
 
3.
서명
형식 기술 기법에 의한 LOTOS프로토콜 적합성 시험  미리보기
저자
진병문 김성운 류영숙
출판사
한국정보처리학회
청구기호
정보 처리 학회 논문지
출판년
1997
자료유형
NotFound 저널기사
소장처
 
1 
Serial Form