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

바구니

검색간략리스트

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