기사
시간논리 구조와 petri net의 합성방법을 사용한 이산사건 시스템의 모델링 = (A)modeling of discrete event system using temporal logic framework and petri net
표제/저자사항 시간논리 구조와 petri net의 합성방법을 사용한 이산사건 시스템의 모델링 = (A)modeling of discrete event system using temporal logic framework and petri net / 김진권, 모영승, 류영국, 황형수
형태사항 p. 239-250: 삽도; 27 cm
주기사항 수록자료: 論文輯-圓光大學敎 大學院. 圓光大學校 大學院. 23집(1999년 8월), p. 239-250 23<239 상세보기
저자: 김진권, 제어계측공학과 대학원 석사과정
저자: 모영승, 제어계측공학과 대학원 석사과정
저자: 류영국, 제어계측공학과 대학원 석사과정
저자: 황형수, 전기전자공학부 교수
출처 국립중앙도서관 바로가기
담당부서 : 국가서지과 (02-590-6339)
위로