국가전거

저자 전거 검색

인쇄

기사

표제/저자사항 페트리넷을 이용한 안전성 있는 통신 프로토콜의 검증 = (The)verification of secure communication protocol using petri net / 김성열, 정일용

형태사항 p. 179-196; 26 cm

주기사항 수록자료: 自然科學硏究-朝鮮大學校自然科學硏究所. 朝鮮大學校自然科學硏究所. 제20집(1997 4월), p. 179-196 20<179 상세보기
저자: 김성열, 조선대학교 전자계산학과
저자: 정일용, 조선대학교 전자계산학과

출처 국립중앙도서관 바로가기

001KMO201509136

00520150303111639

007ta

008150107s2001 gak 100 kor

0490 ▼lEM6076783▼lEM6076784▼c2▼fSY

05201▼a470▼b15-3

056 ▼a470▼26

08201▼a570▼223

24500▼a생명이란 무엇인가? :▼b생명·환경·문화 8월 대 토론회 /▼d주최: 토지문화재단 ;▼e주관: 한국생명윤리학회,▼e토지문화관

260 ▼a원주 :▼b토지문화재단,▼c2001

300 ▼a81 p. ;▼c30 cm

500 ▼a일시 및 장소: 2001년 8월 18일(토) ~ 19일(일), 토지문화관

504 ▼a참고문헌 수록

650 8▼a생명 과학[生命科學]

650 8▼a생명론[生命論]

710 ▼a토지문화재단

710 ▼a한국생명윤리학회

710 ▼a토지문화관

9501 ▼a가격불명

담당부서 : 국가서지과 (02-590-6339)