자료유형  

 학위논문

DDC  

001.642-0

청구기호  

001.642 이65ㅁ

저자명  

이완복

서명/저자  

모델 복합법을 이용한 이산사건 시스템의 검증방법론 : 이완복 저

발행사항  

Daejeon : Korea Advanced Institute of Science and Technology, 2004

형태사항  

106p. : ill. ; 26cm

학위논문주기  

Thesis(doctoral) - Korea Advanced Institute of Science and Technology : Department of Electrical Engineering and Computer Science, Division of Electrical Engineering, 2004. 2

서지주기  

Bibliography: p. [99]-106

키워드  

Composition-based Verification Discrete Event Systems 모델복합법

기타저자  

Lee,Wan-Bok

전자적 위치 및 접속  

로그인을 한후 보실 수 있는 자료입니다.

전자적 위치 및 접속  

로그인을 한후 보실 수 있는 자료입니다.

Control Number  

joongbu:420652