서브메뉴
검색
VIS 를 이용한 RACE 프로토콜의 정형검증
VIS 를 이용한 RACE 프로토콜의 정형검증
상세정보
- 자료유형
- 기사
- ISSN
- 12269190
- 저자명
- 엄현선(Hyun Sun Um)
- 서명/저자
- VIS 를 이용한 RACE 프로토콜의 정형검증 / 엄현선(Hyun Sun Um) , 최진영(Jin Young Choi) , 한우종(Woo Jong Han) , 기안도(An Do Ki) , 심규현(Kyu Hyun Shim) 공저
- 발행사항
- 서울 : 한국정보처리학회, 2000.
- 형태사항
- pp. 2219-2228
- 주기사항
- 참고문헌수록
- 기본자료저록
- 정보처리논문지=THE TRANSACTIONS OF THE KOREA INFORMATION PROCESSING SO : 제7권 제7호 (2000년 7월) 2000, 07
- 원문정보
- url
- 모체레코드
- 모체정보확인
- Control Number
- kjul:60262583
MARC
008201014s2000 ulk aa kor■022 ▼a12269190
■1001 ▼a엄현선(Hyun Sun Um)
■24510▼aVIS 를 이용한 RACE 프로토콜의 정형검증▼d엄현선(Hyun Sun Um)▼e최진영(Jin Young Choi) , 한우종(Woo Jong Han) , 기안도(An Do Ki) , 심규현(Kyu Hyun Shim) 공저
■260 ▼a서울▼b한국정보처리학회▼c2000.
■300 ▼app. 2219-2228
■500 ▼a참고문헌수록
■7001 ▼a최진영(Jin Young Choi) , 한우종(Woo Jong Han) , 기안도(An Do Ki) , 심규현(Kyu Hyun Shim)
■773 ▼t정보처리논문지=THE TRANSACTIONS OF THE KOREA INFORMATION PROCESSING SO▼g제7권 제7호 (2000년 7월)▼d2000, 07
■856 ▼uhttp://www.kips.or.kr
■SIS ▼aS015756▼b60058303▼h8▼s2▼fP
