신경주학교 도서관

본문 바로가기
탑 메뉴 바로가기
주 메뉴 바로가기
하단 바로가기

상세정보

실시간 모델 체커를 이용한 풀트 트리의 체계적 검증

자료유형: 기사

ISSN: 12296848

저자명: 지은경

서명/저자: 실시간 모델 체커를 이용한 풀트 트리의 체계적 검증 / 지은경 , 차성덕, 손한성, 유준범, 구서룡, 성풍현 공저

발행사항: 서울 : 한국정보과학회, 2002.

형태사항: pp. 860-872

주기사항: 권말 참고문헌 수록

기타저자: 차성덕, 손한성, 유준범, 구서룡, 성풍현

기본자료저록: 정보과학회논문지 : 소프트웨어 및 응용(Journal of KISS:Software and App : 제29권 제11,12호 (2002년 12월) 2002, 12

원문정보: url

모체레코드: 모체정보확인

Control Number: kjul:60221839

008190611s2002        ulk                          aa    kor
■022    ▼a12296848
■1001  ▼a지은경
■24510▼a실시간  모델  체커를  이용한  풀트  트리의  체계적  검증▼d지은경▼e차성덕,  손한성,  유준범,  구서룡,  성풍현  공저
■260    ▼a서울▼b한국정보과학회▼c2002.
■300    ▼app.  860-872
■500    ▼a권말  참고문헌  수록
■7001  ▼a차성덕,  손한성,  유준범,  구서룡,  성풍현
■773    ▼t정보과학회논문지  :  소프트웨어  및  응용(Journal  of  KISS:Software  and  App▼g제29권  제11,12호  (2002년  12월)▼d2002,  12
■856    ▼uhttp://www.kiise.or.kr
■SIS    ▼aS015636▼b60058288▼h8▼s2▼fP

본문

서브메뉴

검색

상세정보

MARC

미리보기

내보내기

chatGPT토론

Ai 추천 관련 도서

신착도서 더보기

관련도서 더보기

최근 3년간 통계입니다.

추천하기

소장정보

해당 도서를 다른 이용자가 함께 대출한 도서

관련도서

관련 인기도서

도서위치

QuickMenu

본문