신경주학교 도서관

22 Results:SS:정형 0.124 sec.

정형외과 마취

추상화에 기반을 둔 실시간 항법 및 배송 시스템의 명세 및 행위적 동일성 검증을 위한 정형 기법
이문근, | 한국콘텐츠학회 | 2006 ,

GIS 기반 개발가능지 정형화를 위한 토지형상 기준 적용에 관한 연구
김정훈, | 한국측량학회 | 2006 ,

정보시스템 인증을 위한 정형기법의 활용
서동수, | 한국정보처리학회 | 2006 ,

정형 명세를 이용한 제품계열 아키텍처의 인스턴스화 기법
신숙경, | 한국정보과학회 | 2006 ,

SMV를 이용한 Structural Decision Table 명세의 정형검증
전승재, | 한국정보과학회 | 2006 ,

유비쿼터스 컴퓨팅 환경에서 보안프로토콜의 정형적 분석
김현석, | 한국정보과학회 | 2006 ,

정형기법을 적용한 DO-178B 안전성 검증 및 인증 기준 개선
김창진, | 한국정보과학회 | 2006 ,

모델 체킹을 통한 조합 회로의 정형 검증
안영정, | 한국정보과학회 | 2006 ,

시간적인 행동 패턴을 고려한 웜의 정형 표현 기법 연구
이민수, | 한국정보보호학회 | 2006 ,

대한정형외과학회지
대한정형외과학회 [, ]

대한정형외과학회지
대한정형외과학회 [의학, ]