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

바구니

검색간략리스트

1.
저널기사
정형기법을 이용한 Safety-critical system 개발 방법론 / 성창훈 이나영 오승록 / 한국정보과학회 / 학술발표논문집(한국정보과학회) / 2000 /