국가전거
저자 전거 검색
기사
페트리네트 slice를 이용한 페트리네트 모델의 합성적 분석 = Compositional analysis of petri net models using petri net slices
표제/저자사항
페트리네트 slice를 이용한 페트리네트 모델의 합성적 분석 = Compositional analysis of petri net models using petri net slices / 이우진, 차성덕, 권용래, 김흥남
형태사항
p. 210-216 ; 26 cm
주기사항
수록자료: 정보과학회논문지-소프트웨어 및 응용. 한국정보과학회. 27권 3호(2000년 3월), p. 210-216 27:3<210 상세보기 ISSN 1229-6848
저자: 이우진, 정회원, 한국전자통신연구원 실시간컴퓨팅연구부 연구원 E-MAIL: woojin@etri.re.kr
저자: 차성덕, 종신회원, 한국과학기술원 전산학과 교수 E-MAIL: cha@salmosa.kaist.ac.kr
저자: 권용래, 종신회원, 한국과학기술원 전산학과 교수 E-MAIL: yrkwon@cs.kaist.ac.kr
저자: 김흥남, 비회원, 한국전자통신연구원 실시간컴퓨팅연구부 연구원 E-MAIL: hnkim@etri.re.kr
저자: 이우진, 정회원, 한국전자통신연구원 실시간컴퓨팅연구부 연구원 E-MAIL: woojin@etri.re.kr
저자: 차성덕, 종신회원, 한국과학기술원 전산학과 교수 E-MAIL: cha@salmosa.kaist.ac.kr
저자: 권용래, 종신회원, 한국과학기술원 전산학과 교수 E-MAIL: yrkwon@cs.kaist.ac.kr
저자: 김흥남, 비회원, 한국전자통신연구원 실시간컴퓨팅연구부 연구원 E-MAIL: hnkim@etri.re.kr
출처
국립중앙도서관 바로가기
MARC 보기
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)
