발행물

전체 논문

36

11

Test Generation of a Communication Protocol in an EFSM model
장민석
Advanced Information Processing Technology, 200102

12

WDM 링 네트워크의 비용 절감을 위한 트래픽 통합 기법 : 유니폼 트래픽 경우
장민석
한국통신학회논문지, 200008

13

신뢰성있는 시험데이터 선택을 위한 경로도메인 기반의 신뢰도 제시
장민석
한국정보과학회논문지(B), 199811

14

Fast ATM VP Restoration Management with Loop-Expanding Scheme
장민석
한국통신학회논문지, 199803

15

A Method to Derive a Single-EFSM from Communicating Multi-EFSM for Data Part Testing
장민석
TCS(Testing of Communicating Systems), 199709

16

데이타부분을 시험하기 위한 다중 EFSM으로 구성된 프로토콜로부터의 단일 EFSM생성방안
장민석
정보과학회논문지(A), 199708

17

오류검출 신뢰도를 고려한 경로-도메인 기반의 시험데이타 선택방법
장민석
박사학위논문, 199708

18

적합성시험에서 데이터흐름 시험개념의 형식화를 통한 시험케이스의 최적화기법
장민석
정보과학회논문지(A), 199705

19

고속통신망을 위한 공정성 링 프로토콜에 관한 연구
장민석
한국통신학회논문지, 199701

20

기능위주의 수송 프로토콜을 위한 적응력있는 프로토콜의 구성모델
장민석
정보과학회논문지(A), 199608