본문

  1. Home
1 Results:UU:제11D권제6호통권제95호2004년10월 AA:권기현 ( GI HWON KWON ) 0.124 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
모델 체킹에서 상태 투영을 이용한 모델의 추상화
모델 체킹에서 상태 투영을 이용한 모델의 추상화
권기현 ( Gi Hwon Kwon ), | 한국정보처리학회 | 2004 ,
처음1마지막