시간적 논리와 도달성 그래프를 사용한 네트워크 프로토콜 검증법에 대한 비교 분석

박지헌 ,  박성헌

(구)정보과학회논문지

1990 .04

구문구조에 의한 Temporal Expression의 그래프 모형 구성방법에 대한 연구

최경희 ,  이정태 ,  홍만표

(구)정보과학회논문지

1986 .08

Logic Simulation

권태욱

대한전자공학회 단기강좌

1983 .01

Design of Temporal Logic Embedded Controller for Small Oven Process

Vichitpon Boonp ,  anchoo ,  Vi 외 7명

제어로봇시스템학회 국제학술대회 논문집

2011 .10

Temporal Logic에 대한 그래프 모형 자동생성 시스템의 구현에 관한 연구

박종민 ,  이명직 ,  최경희 외 2명

한국정보과학회 학술발표논문집

1987 .10

Fuzzy Logic Based Temporal Error Concealment for H.264 Video

Pei-Jun Lee ,  Ming-Long Lin

[ETRI] ETRI Journal

2006 .10

Temporal logic을 이용한 concurrent system의 modeling과 자동 검증에 관한 연구

정재우 ,  최영근

한국정보과학회 학술발표논문집

1987 .10

Logic Synthesis

황선영

CAD기술특강

1989 .01

확장논리에 기초한 순차디지털논리시스템 및 컴퓨터구조에 관한 연구

박춘명

한국인터넷방송통신학회 논문지

2008 .01

Composition of LOTOS Specifications Based on Temporal Logic

Toshihiko Ando ,  Yasushi Kato ,  Kao 외 2명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1993 .01

연관분석을 이용한 마코프 논리네트워크의1차 논리 공식 생성과 가중치 학습방법

안길승 ,  허선

산업경영시스템학회지

2015 .01

시간논리와 표현논리를 이용한 운전절차 자동합성 시스템 개발

허보경 ,  황규석

한국가스학회지

2001 .03

AN APPROACH FOR LOGIC SYNTHESIS

Takeshi Yoshimu ,  a

ICVC : International Conference on VLSI and CAD

1989 .01

퍼지 Logic을 이용한 화재감지기법에 관한 연구

홍성호 ,  김두현 ,  김상철

한국화재소방학회 학술대회 논문집

2003 .01

행렬방정식을 이용한 프로토콜 검증 방법 연구 ( Protocol Validation Using Matrix Equations )

오행석

대한전자공학회 학술대회

1996 .01

영상 데이터 압축을 위한 Temporal Filter의 구성 ( Temporal filter for Image Data Compression )

김종훈 ,  김성대

한국통신학회논문지

1993 .11

지역경제 성장의 시ㆍ공간 효과

최명섭 ,  이창근 ,  김의준

국토계획

2009 .04

Logic Simulator의 구현에 관한 연구 ( A Study on Implementation of logic Simulator )

김현호 ,  이용희 ,  최상국 외 1명

대한전자공학회 학술대회

1990 .11

LOGIC SIMULATOR의 구현에 관한 연구

김현호 ,  이용희 ,  최상국 외 1명

대한전자공학회 학술대회

1990 .11

PLC에서의 입출력 응답속도 향상을 위한 모듈 분산 형 Logic

송동신 ,  조계석 ,  권순창 외 1명

정보 및 제어 논문집

2012 .10