자료유형  

 학위논문

청구기호  

569 진44시

저자명  

진병문

서명/저자  

시스템 기술 언어로 된 규격으로부터의 시험 계열 생성 기법 = Test sequence generation from specification in system description language / 저. 진병문

발행사항  

대전 : 한국과학기술원, 1996.

형태사항  

iv, 109 p. : ill ; 26 cm.

학위논문주기  

학위논문(박사) - 한국과학기술원 : 전산학과, 1996

키워드  

시스템 기술 언어 규격 시험 계열 생성 기법

가격  

비매품

Control Number  

kjul:60076988