Results 1-3 of 3 (Search time: 0.003 seconds).
NO | Title, Author(s) (Publication Title, Volume Issue, Page, Issue Date) |
---|---|
PVS를 이용한 safety-critical 시스템의 요구 사항 검증 = Verification of safety-critical system requirements using PVSlink 김태호; Kim, Tae-Ho; 차성덕; Cha, Sung-Deok, 한국과학기술원, 1997 | |
어플리케이션 시그네쳐 자동 생성에 관한 연구 = Automatic generation of application signatureslink 김태호; Kim, Tae-Ho; 문수복; Moon, Sue-Bok, 한국과학기술원, 2006 | |
직관적인 3차원 커서 기반 객체 조작 기법 연구: 쥠 메타포를 이용한 가상 핸들 = A Study on intuitive object transformation technique using the 3D cursor: virtual handle with grabbing metaphorlink 김태호; Kim, Tae-Ho; 박진아; Park, Jin-Ah, 한국과학기술원, 2013 |
Discover