LAPD프로토콜의 Formal Description ( The Formal Description of LAPD Protocol )

한운영 ,  한치문 ,  최양희 외 2명

대한전자공학회 학술대회

1986 .01

ISDN 사용자-망 인터페이스의 LAPD프로토콜 구현에 관한연구 ( A Study on the Implementation of the LAPD protocol in S-Interface for the ISDN )

김수용 ,  남상규 ,  한민수 외 2명

대한전자공학회 학술대회

1993 .07

ISDN 사용자-망 인터페이스의 LAPD프로토콜 구현에 관한 연구

김수용 ,  남상규 ,  임용곤 외 2명

대한전자공학회 학술대회

1993 .07

X.25 Protocol Controller and Multi-Link LAPD

Moto ,  ola

대한전자공학회 단기강좌

1991 .01

ISDN Basic Access를 위한 LAPD 프로토콜의 설계 및 구현 ( The Design and Implementation of LAPD Protocol for ISDN Basic Access )

한운영 ,  서창진 ,  정희창 외 1명

대한전자공학회 학술대회

1987 .07

ISDN Basic Access를 위한 LAPD 프로토콜의 설계 및 구현

한운영 ,  서창진 ,  정희창 외 1명

대한전기학회 학술대회 논문집

1987 .07

ISDN D채널 LAPD 프로토콜 적합성 시험 방법 및 시험 결과 분석 방법 ( A Method of LAPD Protocol Conformance Testing and its Result Analysis in ISDN D-Channel )

장동원

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

1995 .11

A S / T TRANSCEIVER WITH LAPD CONTROLLER

Se Hyun Pa ,  k ,  Ki Hyun Kim 외 2명

ICVC : International Conference on VLSI and CAD

1989 .01

LAPD 프로토콜에서의 Optimum Scheduling에 관한 연구

천대녕 ,  최양희

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

1985 .10

Automated Test Generation from Specifications Based on Formal Description Techniques

Byoung-Moon Chin ,  Young-Han Choe ,  Sung-Un Kim 외 1명

[ETRI] ETRI Journal

1997 .08

Logical Formal Description of Expert Systems. Preliminary Results

M. de la Sen ,  J. J. Minamb ,  es

TENCON 87 - Computers and Communications Technology Toward 2000

1997 .01

Formal Model 작성을 위한 Event Graph 모델링 연구

박정현 ,  최병규

한국정밀공학회 학술발표대회 논문집

1997 .11

관리객체 동적특성의 전형적 기술 ( A Formal Description for Behaviour of Managed Objects )

주광로 ,  이형효 ,  노봉남

KNOM Review

1998 .01

The Analysis of Formal Methods for Applying to Vital S/W in Train Control Systems

Hyun-Jeong Jo ,  Jong-Gyu Hwang ,  Yong-Ki Yoon

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

2007 .07

Analysis of the Formal Specification Application for Train Control Systems

Hyun-Jeong Jo ,  Yong-Ki Yoon ,  Jong-Gyu Hwang

Journal of Electrical Engineering & Technology

2009 .03

System - level Design Based on Formal Model of Computation

하순회

대한전자공학회 기타 간행물

2001 .11

Formal Verification in Commercial Environments

Hyun Woo Cho

대한전자공학회 토론회

1996 .01

Formal Verification in Commercial Environments

Hyunwoo Cho

대한전자공학회 학술대회

1996 .07

암호프로토콜 논리성 검증도구 개발에 관한 연구

권태경 ,  김승주 ,  송보연

정보보호학회지

2002 .04

열차제어시스템 바이탈 소프트웨어를 위한 정형기법 적용 방안 분석

조현정 ,  황종규 ,  윤용기

한국철도학회 학술발표대회논문집

2007 .05