자료유형  

 기사

ISSN  

15982866

청구기호  

004 정45리 v.12-D-7

서명/저자  

임베디드 자바 프로그램의 정형 검증 : Formal Verification of Embedded Java Program / 이태훈 저 / 권기현 저

발행사항  

서울 : 한국정보처리학회, 2005.

형태사항  

pp. PP.931~936

일반주제명  

정형 검증, 모델 체킹, 추상화, 자바 프로그램

기타저자  

이태훈

기본자료저록  

정보처리학회논문지D : 제12-D권 제7호 (통권제103호) 2005, 12

모체레코드  

모체정보확인

Control Number  

joongbu:361374