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

원유현

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

1991 .01

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

원유헌

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

1991 .01

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

[特輯]Extended State Transition Language(ESTELLE)

인소란

정보과학회지

1988 .02

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

황정자 ,  전우직

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

1994 .10

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

김성천 ,  김희곤 ,  이재용

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

1990 .10

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

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

멀티미디어학회논문지

2000 .04

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

우성희 ,  오병호 ,  이상호

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

1994 .04

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

나정은 ,  송주석

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

1989 .10

프로토콜 개발 환경을 위한 FDT의 분석

조중진 ,  우성희 ,  이상호

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

1994 .04

C++ 프리프로세서의 설계 및 구현

이근준 ,  곽호영 ,  원유헌

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

1992 .10

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

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

정보과학회논문지(C)

1996 .03

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

이현정 ,  우성희 ,  이상호

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

1998 .10

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

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

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

1988 .10

자연언어와 인공언어

이기식

소프트웨어세계

1987 .01

C 언어 학습을 위한 학습 지원 시스템 설계 고찰

이경호

한국컴퓨터정보학회 학술발표논문집

2013 .07

C language를 위한 Concurrent Programming 환경의 개발

윤용익 ,  조주현 ,  정영조 외 1명

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

1988 .04

기초 컴퓨터 언어 교육과정의 설계

김일민 ,  정소용

한국멀티미디어학회 학술발표논문집

2006 .11