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

선택목록저장

검색간략리스트

저널기사
복합 실시간 계통의 요구사항 명세와 안전성 분석을 위한 정성적 정형기법 / 이장수 차성덕 / 한국정보과학회 / 정보과학회논문지(소프트웨어 및 응용) / 2000 /
항목 :