디지털 시스템의 Net-list를 이용한 안전-전체검사에 관한 연구 ( A Study on the Pseudo-Exhaustive Testing Using a Net-List of Digital Systems . )

이강현 ,  김용득

대한전자공학회 학술대회

1991 .11

.NET 기술

권순각

한국멀티미디어학회지

2003 .03

Estimation of Accessibility and Usability in Web Interaction for Personalized Ubiquitous Web Information Services

김영복

정보과학회논문지 : 소프트웨어 및 응용

2008 .08

Net-list를 이용한 조합 논리 회로의 의사-전체검사 패턴생성에 관한 연구 ( A Study on the Pseudo-exhaustive Test Pattern Generation of Combinational Logic Circuits Using the Net-list )

김진문 ,  이강현 ,  박종백 외 1명

대한전자공학회 학술대회

1990 .11

Net-list를 이용한 조합 논리 회로의 의사-전체검사 패턴생성에 관한 연구

김진문 ,  이강현 ,  박종백 외 1명

대한전자공학회 학술대회

1990 .11

On Evaluation of a New Priority List for Two-Processor Scheduling Problems of Program Nets

Qi-Wei Ge ,  Chen Li ,  Mitsu 외 1명

ITC-CSCC :International Technical Conference on Circuits Systems, Computers and Communications

2004 .07

전장정보체계 SW 개발을 위한 시큐어 코딩 라이브러리에 관한 연구

박상현 ,  김관영 ,  최준성

전기전자학회논문지

2018 .06

.NET Language특성

김동근 ,  김태석

한국멀티미디어학회지

2003 .03

.NET 기술동향

차재호 ,  권순각

한국멀티미디어학회지

2003 .03

Net-list로 부터 schematic Diagram 자동 생성기의 개발 ( Development of Automatic Generator for Schematic Diagram from Net-list )

김환석 ,  최병갑 ,  이천희

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

1989 .01

Deadlock Free를 위한 Petri Net의 합성및 제거

김창민 ,  민태홍 ,  김영찬

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

1985 .04

시스템분석을 위한 Petri Nets의 축소방법

이광형 ,  오길록

(구)정보과학회논문지

1986 .04

.NET시스템 개발 방법과 Aurora.net

김영희

Proceedings of KIIT Conference

2003 .08

.NET 기술 구성요소

이복영 ,  박지환

한국멀티미디어학회지

2003 .03

Net-List로 부터 Schematic Diagram 자동 생성기의 배치 알고리듬 ( Placement Algorithm for Automatic Generator of Schematic Diagram Using Net-List )

김환석 ,  이천희

전자공학회논문지

1989 .12

페트리네트 Slice를 이용한 페트리네트 모델의 합성적 분석

이우진 ,  차성덕 ,  권용래 외 1명

정보과학회논문지 : 소프트웨어 및 응용

2000 .03

A Simplified Necessary and Sufficient Condition for a Net to be an SMA Net

Dong Ik Lee ,  Sadatoshi Kumagai ,  Shinzo Kodama

JTC-CSCC : Joint Technical Conference on Circuits Systems, Computers and Communications

1991 .01

그물 세척용 양망기 구조설계

최덕기 ,  김용영 ,  조동호

대한기계학회 춘추학술대회

2010 .05