계층적 및 대화형 검증 방식을 이용한 설계규칙검사

김춘수 ,  이기희 ,  홍인식 외 2명

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

1988 .10

Design Rule Check Program의 개발 ( Development of Design Rule Check Program )

어길수 ,  김경태 ,  경종민

대한전자공학회 학술대회

1984 .01

VLSI의 설계검증을 위한 계층적 회로 추출 알고리듬 ( Hierarchical Circuit Extract Algorithm for VLSI Design Verification )

임재윤 ,  임인칠

전자공학회논문지

1988 .08

규칙 분석

김준의 ,  유정민 ,  천관봉

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

2012 .05

계층형 명세 언어의 정의 및 검사

박사천 ,  권기현

프로그래밍언어논문지

2002 .06

An Approach to the Interactive design Process Using Genetic Algorithms

Taku OKUNO ,  Yukino ,  i KAKAZU

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

1992 .10

설계 인자와 설계 목표를 이용한 진화 설계 및 재설계

이강수 ,  이건우

Journal of the Korean Society for Precision Engineering

1999 .11

2.1 설계일반

김유성 ,  원명수

한국지반신소재학회 단기강좌

2010 .07

설계로 말할 때이다

박인석

건축사

2002 .01

네트워크를 이용한 규칙검증에 관한 연구

최성호 ,  박충식 ,  김재희

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

1990 .05

프레임 구조의 계층적 설계 해석 및 최적화

황진하 ,  이학술

한국강구조학회 논문집

2000 .02

계층 요소 사용에 대한 연구

김진환

한국동력기계공학회 학술대회 논문집

1999 .11

계층 요소 사용에 대한 연구

김진환

동력시스템공학회지

2000 .02

실시간 시스템 검증을 위한 지역모형검사

박재호 ,  김성길 ,  황선호 외 1명

멀티미디어학회논문지

2000 .02

사용자 지향 대화형 개념설계 모델

이동곤 ,  이경호 ,  한순흥 외 6명

대한조선학회 논문집

1992 .11

시청자 참여형 서비스를 위한 대화형 방송 시스템 설계

정종면 ,  최지훈 ,  최진수

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

2002 .11

이산사건 시스템의 계층적 검증방법론

송해상 ,  이완복

한국정보통신학회논문지

2007 .05

기가 스케일 SoC를 위한 통합 설계 방법론 및 검증 플랫폼

김정훈

전자공학회논문지-SD

2010 .02

연관규칙을 이용한 개인화 시스템 설계

윤종찬 ,  윤성대

한국정보통신학회논문지

2007 .06