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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 기사제목:정형기법을 이용한 Safety-critical system 개발 방법론]
2건 중 2건 출력
1/1 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
1.
기사제목
정형기법을 이용한 Safety-critical system 개발 방법론  미리보기
기사저자명
성창훈 이나영 오승록
출판사
한국정보과학회
발행년
2000
자료유형
NotFound 저널기사
2.
기사제목
정형기법을 이용한 Safety-Critical System 개발방법론 적용사례  미리보기
기사저자명
성창훈 이주용 이나영
출판사
한국정보과학회
발행년
2001
자료유형
NotFound 저널기사
1 
Serial Form