Material Type  

 학위논문

DDC  

001.642-0

Callnumber  

001.642 이65ㅁ

Author  

이완복

Title/Author  

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

Publish Info  

Daejeon : Korea Advanced Institute of Science and Technology, 2004

Material Info  

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

Index Term-Uncontrolled  

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

Added Entry-Personal Name  

Lee,Wan-Bok

Electronic Location and Access  

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

Electronic Location and Access  

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

Control Number  

joongbu:420652