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

선택목록저장

검색간략리스트

저널기사
정형기법 Z를 활용한 열차제어시스템의 정형검증: / 신지훈 박준길 강미영 최진영 / 한국정보과학회 / 학술발표논문집(한국정보과학회) / 2009 /
항목 :