개선된 자동정리증명기법에 기초한 유한체상의 디지털논리시스템 구성

박춘명

한국정보통신학회논문지

2006 .10

자동 정리 증명을 이용한 요구 명세 검증 ( Verification of Requirement Specifications using Automated Theorem Proving )

권기현

한국지능정보시스템학회 학술대회논문집

1997 .06

정형 방법을 지원하는 정리 증명기 개발

김성희 ,  권기현

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

1997 .04

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

박춘명

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

2008 .01

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

이재형 ,  황선영

전자공학회논문지-A

1991 .01

A Study on Constructing Digital Logic Systems based on Edge-Valued Decision Diagram

Chun-Myoung Pa ,  k

ICEIC : International Conference on Electronics, Informations and Communications

2004 .08

정리 증명기의 개발 동향

김익순

정보과학회지

2012 .02

자동설계 ( Automatic Design )

백남주

대한기계학회지

1978 .03

조립 시스템 자동설계

서윤호 ,  정덕호

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

1999 .10

조합논리회로에 대한 개선된 자동시험패턴 발생에 대한 연구 ( Automatic Test Pattern Generation of Combinational Logic Circuits )

안광선 ,  강병욱 ,  김종훈

한국통신학회 학술대회논문집

1988 .01

조합논리회로에 대한 개선된 자동시험패턴 발생에 대한 연구 ( Automatic Test pattern Generation of Combinational Logic Circuits )

안광선 ,  강병욱 ,  김종훈

특정연구 결과 발표회 논문집

1988 .01

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

허보경 ,  황규석

한국가스학회지

2001 .03

Complexity Analysis for the Improved Parallel Logic Programming Systems

정인정 ,  이홍규

정보보호학회논문지

1992 .06

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

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

대한전자공학회 학술대회

1987 .11

자동 보정형 디지털 제어기 설계에 관한 연구

나승유 ,  박민상

대한전자공학회 학술대회

1998 .11

자동 보정형 디지털 제어기 설계에 관한 연구 ( A Study on the Design of Digital Controllers with Automatic Calibration )

나승유 ,  박민상

대한전자공학회 학술대회

1998 .11

병렬화를 위한 논리 프로그램의 증명 방법 ( A Proof Method of Logic Programs in Parallel Environment )

이원석

한국통신학회논문지

1993 .03

자동제어

한국열관리사협회

한국열관리사협회보

2005 .01

자동제어

한국열관리사협회

한국열관리사협회보

2005 .01

자동제어

한국열관리사협회

한국열관리사협회보

2005 .01