Communication Protocol의 design 을 위한 Specification과 Verification에 관한 연구

정환태 ,  김창민 ,  김영찬

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

1986 .10

Communication-Centered Project Management for Requirements Definition Phase

Nobuaki Ishii ,  Masaaki Mu ,  aki

Industrial Engineering & Management Systems

2012 .03

Communication Models and Protocols

Moto ,  ola

대한전자공학회 단기강좌

1991 .01

Towards Better Specifications

Yeung Wai Suen

TENCON 87 - Computers and Communications Technology Toward 2000

1997 .01

C-Based Design Methodology

박인철

대한전자공학회 학술대회

1997 .01

무선 인터넷을 이용한 ITS : ITS를 위한 통신 시스템

박홍성 ,  정명순 ,  김형육

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

2001 .02

[기술동향]Computer Communication Protocols

최양희

텔레콤

1986 .06

Mobile Communication Network Design : Issues and Methodologies

오세현

한국통신학회 워크샵

1995 .01

An Advanced Integrated Specification Environment for Protocol and Communication Software - Towards Intelligent Interface

Eun Seok Lee ,  No ,  io Shi 외 2명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1992 .01

A Process Interaction Specification Method for Communication Software

Toshihi ,  o Nishizono ,  Naoki Shibamoto 외 2명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1988 .01

Performance Analysis of An Optimal Communication Protocol for High-Speed Communication

Moon Sik Kang

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1993 .01

국내 시방서 총칙 개선방안

김태송 ,  구재동

대한건축학회 학술발표대회 논문집 - 구조계

2005 .10

A Design on the Knowledge Acquisition Tool for a Knowledge Base Computer Applications

Gi Young Lim ,  Yung kwon Kim ,  Hyung Lae Kim

International Conference on Electronics, Informations and Communications

1991 .01

A Verification System for Communication Protocols and Its Application to the OSI Session Protocol

Feng-jing Shao ,  Hi ,  oyuki Seki 외 5명

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1990 .01

A Design Method for Telecommunication Service Software and its Support System Using Specification Knowledge

Kazumasa Takami ,  Tadashi Ohta

JC-CNSS : Joint Conference on Communications, Networks and Switching Systems

1992 .01

Knowledge-Base System

최종수

전자공학회잡지

1985 .04

건조사양서 요구사항의 추적을 위한 온톨로지 모델과 제품구조 통합 기초 연구

김승현 ,  이장현 ,  한은정

대한조선학회 논문집

2011 .06

Requirements on a computer bank of knowledge

Alexande ,  S. Kleschev ,  Vasiliy A. O 외 1명

한국지능정보시스템학회 기타 간행물

2001 .11

A Methodology for Variable Structure System Specification: Formalism, Framework, and Its Application to ATM-Based Network System

Kyou H. Lee ,  Kil Y. Choi ,  Jae G. Kim 외 1명

[ETRI] ETRI Journal

1996 .08

기계설비분야 시방서의 국내 기준과 해외 기준 비교

전준용 ,  성순경

대한설비공학회 학술발표대회논문집

2015 .06