OSI 참조모델의 네트워크 계층 보호 프로토콜

박영호 ,  문상재

정보보호학회지

1995 .06

네트워크 시스템 명세를 위한 Z 기반 프레임워크

신지훈 ,  최진영

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

2011 .06

상태 감소를 위한 추상화 기법

박지연 ,  이정희 ,  이문근

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

2002 .04

멀티미디어 하위 계층 프로토콜 ( 1 - 3 계층 )

김준년

한국통신학회 워크샵

1994 .01

멀티미디어 하위 계층 프로토콜 ( 1-3 계층 )

김준년

대한전자공학회 워크샵

1994 .01

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

박사천 ,  권기현

프로그래밍언어논문지

2002 .06

객체지향 설계방법론에 의한 OSI 통신 프로토콜의 설계 : 전송계층 프로토콜을 중심으로

김춘현 ,  궁상환 ,  구연설

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

1992 .11

객체지향 설계방법론에 의한 OSI통신 프로토콜의 설계 - 전송계층 프로토콜을 중심으로 - ( The Design of OSI Transport Protocol Using Object Modelling Technique ( OMT ) )

김춘현 ,  궁상환 ,  구연설

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

1992 .01

네트워크 기반 시스템 명세 및 검증을 위한 Z 프레임워크

신지훈 ,  최진영 ,  강인혜 외 1명

정보과학회논문지 : 컴퓨팅의 실제 및 레터

2012 .02

수평 구조에서 OSI 프로토콜의 병렬 처리

김평중 ,  최선완 ,  전길남

정보과학회논문지(A)

1995 .09

TRS망에 적용 가능한 무선 데이터 통신 프로토콜 계층 구조

이철우 ,  전중남 ,  김석일

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

1997 .04

소프트웨어 요구명세와 설계 명세간의 부합성 검사

이수영 ,  김진현 ,  안영아 외 5명

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

2004 .10

OSI 상위계층 Protocol의 구현 기법

전우직 ,  최선완 ,  최양희

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

1986 .10

통신 소프트웨어의 정형적 명세 방안

김태연

한국통신학회 학술대회 및 강연회

1997 .01

VDM 모듈에서 자료흐름도로의 명세변환

최연우 ,  박용수 ,  위금숙 외 2명

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

1993 .10

LOTOS 시뮬레이션을 이용한 프로토콜 검증에 관한 연구

이명직 ,  박종민 ,  김동규 외 1명

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

1988 .10

자동 생성 기법을 이용한 OSI 상위계층 프로토콜 구현 ( An Automatic Approach of OSI Upper Layer Protocol Implementation )

한기수 ,  박승철 ,  최선완 외 2명

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

1988 .01

자동 생성 기법을 이용한 OSI 상위계층 프로토콜 구현 ( An Automatic Approach of OSI Upper Layer Protocol Implementation )

한기수 ,  박승철 ,  최선완 외 2명

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

1988 .01

대수명세기법의 새로운 접근방법

김규년 ,  우치수

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

1990 .04

통신 프로토콜 적합성 시험기를 위한 명세 언어 처리기의 설계

양순성 ,  안병양 ,  전효식 외 3명

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

1994 .10