,

적합성시험에서 시험열 생성을 위한 탐색방법

,

An integrated automatic tool for generating test cases from specification written in Estelle

,

우선순위 메카니즘을 이용한 토큰버스네트워크의 지연시간 분석

,

Mini-MAP을 위한 망접속기의 구현에 관한 연구

,

토큰버스 네트워크 타이머 제어 토큰 방법의 성능분석