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

선택목록저장

검색간략리스트

저널기사
실시간 모델체커를 이용한 폴트 트리의 체계적 검증: / 지은경 차성덕 손한성 / 한국정보과학회 / 정보과학회논문지(소프트웨어 및 응용) / 2002 /
항목 :