시간논리와 목표트리를 이용한 화학공장의 운전절차 합성 알고리즘

허보경 ,  황규석

한국가스학회 학술대회논문집

1999 .09

논리 세기 개념을 이용한 논리 레벨 시뮬레이션 ( Logic Level Simulation Using The Logic Strength Concept )

이홍주 ,  박홍준 ,  함승재 외 2명

대한전자공학회 학술대회

1987 .11

Logic Synthesis

황선영

CAD기술특강

1989 .01

성능 구동 논리 회로 자동 설계 시스템 ( Performance-driven Automatic Logic Synthesis System )

이재형 ,  황선영

전자공학회논문지-A

1991 .01

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

박춘명

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

2008 .01

AN APPROACH FOR LOGIC SYNTHESIS

Takeshi Yoshimu ,  a

ICVC : International Conference on VLSI and CAD

1989 .01

Temporal Logic을 이용한 프로토콜의 검증에 관한 연구 ( A Study on the Validation of Protocol Using Temporal Logic )

이명직 ,  박종민 ,  이정태 외 2명

한국통신학회 워크샵

1998 .01

논리형 추론컴퓨터 ( Logic Machine )

조정완

전자공학회지

1987 .06

Logic Synthesis and Optimization

김보관

CAD기술특강

1991 .01

다중치 논리를 위한 한정 추론

김민구

(구)정보과학회논문지

1992 .04

A Logic Verification ＆ Synthesis System ( I ) ( A Logic Verification and Synthesis System ( 1 ) )

조중휘 ,  이성봉 ,  박성범 외 1명

대한전자공학회 학술대회

1985 .01

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

안길승 ,  허선

산업경영시스템학회지

2015 .01

Logic Simulation

권태욱

대한전자공학회 단기강좌

1983 .01

PLC를 이용한 출력제어계통 논리 캐비넷 개발

박현신 ,  박종범 ,  양승권 외 1명

대한전기학회 학술대회 논문집

1998 .07

계층 논리 기반 전문가 시스템에 관한 연구

朴永文 ,  金光源 ,  李光浩 외 1명

전기학회논문지

1998 .11

컴퓨터 논리와 현실적 논리

곽병근

소프트웨어세계

1994 .01

실시간 시간논리구조를 이용한 이산 사건 시스템의 모델링

정용만 ,  이원혁 ,  최정내 외 1명

대한전기학회 학술대회 논문집

1997 .07

논리와 논리머신

신동필 ,  정태충

전자공학회지

1988 .06

그래픽 인터페이스를 이용한 논리 환경의 자동 생성

신수정 ,  박승수

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

1993 .04

다치 논리 함수를 이용한 신호처리 연구 ( A Study on Signal Processing Using Multiple-Valued Logic Functions )

성현경 ,  강성수 ,  김흥수

전자공학회논문지

1990 .12