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

서동수 ,  송주석

대한전자공학회 학술대회

1991 .07

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

인소란 ,  원유헌

전자공학회논문지-B

1992 .11

[特輯]Extended State Transition Language(ESTELLE)

인소란

정보과학회지

1988 .02

형식기술언어 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

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

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

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

1988 .10

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

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

정보과학회논문지(C)

1998 .10

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

나정은 ,  송주석

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

1989 .10

Dynamic-explict 방법을 이용한 Multi-stage 공정해석

정동원 ,  김동홍 ,  김봉천

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

2011 .06

강등가를 기반으로 한 내부 비결정성 탐지법

박병호 ,  최진영 ,  최은재

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

1999 .04

데이타 병렬성과 고수준 병행제어 표현을 위한 Compositional C++언어의 확장 및 구현

서광태 ,  낭종호 ,  변석우 외 1명

정보과학회논문지(C)

1997 .04

자동 병렬화 기술 동향

심경주 ,  김한준

정보과학회지

2014 .05

문맥 변수를 결합한 CFG 생성에 관한 연구

성우형 ,  오병호 ,  이상호

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

1995 .10