ESTELLE의 확장 : 동기적 전송방식을 통한 Estelle의 명시적인 병렬성 표현

서동수 ,  송주석

대한전자공학회 학술대회

1991 .06

Estelle로 기술된 프로토콜의 적합성 검증에 관한 연구 ( A Study on the Conformance Test for Protocols Written in Estelle )

인소란 ,  원유헌

전자공학회논문지-B

1992 .11

Estelle의 확장 : 동기적 전송방식을 통한 Estelle의 명시적인 병렬성 표현 ( Explict Parallelism Description of Estelle With Synchronous Message Passing )

서동수 ,  송주석

대한전자공학회 학술대회

1991 .07

형식기술언어 ESTELLE 프리프로세서 개발에 관한 연구

곽호영 ,  하수철 ,  인소란 외 1명

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

1987 .10

ESTELLE 명세에서 VHDL 명세로의 변환 방법론

이미경 ,  이익섭 ,  김선규 외 2명

멀티미디어학회논문지

2000 .04

통신 기술언어의 적합성 검증 시스템 - ESTELLE언어 중심으로 -

원유헌

한국통신학회 전기통신학술연구과제

1991 .01

통신 기술언어의 적합성 검증 시스템 - ESTELLE언어 중심으로 -

원유현

한국통신학회 전기통신학술연구과제

1991 .01

통신시스템의 Estelle 서술의 검증을 위한 Reachability 그래프 구축

김성천 ,  김희곤 ,  이재용

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

1990 .10

Estelle 사양의 그래픽 표현 에디터 구현

황정자 ,  전우직

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

1994 .10

Estelle로 표현된 프로토콜의 테스트 슈트 생성에 관한 연구

우성희 ,  오병호 ,  이상호

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

1994 .04

Estelle로부터 자료흐름이 고려된 테스트 케이스 생성

이현정 ,  우성희 ,  이상호

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

1998 .10

Estelle명세에서 시험경우를 자동 생성하는 통합 자동 도구 : YACTT

장민석 ,  김태형 ,  박동성 외 3명

정보과학회논문지(C)

1996 .03

γ-Re_θ 천이 모델에서의 Point-Collocation NIPC와 Non-Intrusive Spectral Projection 방법 비교

웬 호아이 탄 ,  장경식

한국전산유체공학회 학술대회논문집

2018 .11

ISO / OSI 트랜스포트 프로토콜의 시험적 구현

채의근 ,  최선완 ,  박승철 외 3명

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

1988 .10

언어 지향적 모델을 이용한 프로토콜 표현 기법의 비교 연구

나정은 ,  송주석

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

1989 .10

3차원 천이 유동 해석을 위한 Correlation 기반 천이모델에 관한 연구

최재훈 ,  권오준

한국전산유체공학회 학술대회논문집

2013 .05

The Key of Space Transition

D. Y. Lee ,  Y. Youm ,  W. K. Chung

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

1992 .01

TTCN 기반의 통합흐름 테스트 스위트 생성도구의 설계

우성희 ,  권영덕 ,  김용승 외 1명

정보과학회논문지(C)

1998 .10

2.5Gb/s Data Recovery Circuit with Transition/Non-transition Tracking Algorithm

Yong-Hwan Moon ,  Jung-Bae Yoon ,  Jin-Ku Kang

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

2003 .07

Rapid Phase Transition에 대한 고찰

성정우 ,  정승호

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

2017 .05