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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 기사저자명:이태훈 권기현]
10건 중 10건 출력
1/1 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
기사제목
임베디드 자바 프로그램의 정형 검증:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보처리학회
발행년
2005
자료유형
NotFound 저널기사
2.
기사제목
모델 체킹에서 안전성 위반에 대한 효율적인 반례생성:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보처리학회
발행년
2005
자료유형
NotFound 저널기사
3.
기사제목
SMT 해결기를 이용한 자바 메모리 모델 시뮬레이션:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보과학회
발행년
2009
자료유형
NotFound 저널기사
4.
기사제목
게임풀이를 위한 상태 공간 축소 :  미리보기
기사저자명
이태훈 권기현
출판사
한국게임학회
발행년
2004
자료유형
NotFound 저널기사
5.
기사제목
릴레이 모델 체킹을 이용한 상태 폭발 문제 해결:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보과학회
발행년
2004
자료유형
NotFound 저널기사
6.
기사제목
NuSMV에서 생성된 반례길이 비교:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보과학회
발행년
2004
자료유형
NotFound 저널기사
7.
기사제목
모델 체킹에서 그래프 모양의 반례 생성:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보과학회
발행년
2004
자료유형
NotFound 저널기사
8.
기사제목
모델 체킹을 이용한 jUnit 기반 테스트 드라이버 자동 생성:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보과학회
발행년
2008
자료유형
NotFound 저널기사
9.
기사제목
SMT를 이용한 자바 메모리 모델 시뮬레이션:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보과학회
발행년
2008
자료유형
NotFound 저널기사
10.
기사제목
이진 프로그램을 위한 CTL 모델 체킹:  미리보기
기사저자명
이태훈 권기현
출판사
한국정보과학회
발행년
2005
자료유형
NotFound 저널기사
1 
Serial Form