자료유형  

 기사

ISSN  

15985164

저자명  

송관호

서명/저자  

SCADE/Lustre를 이용한 임베디드 시스템의 명세, 검증 및 구현 / 송관호 공저 , 심재환 , 안영정 , 최진영

발행사항  

서울 : 한국정보과학회, 2006.

형태사항  

pp. 443-448

키워드  

SCADELUSTRE를 이용 시스템 명세 검증

기타저자  

심재환

기타저자  

안영정

기타저자  

최진영

기본자료저록  

학술대회 논문집 A : 제33권 제2호 (2006년 10월) 2006, 10

모체레코드  

모체정보확인

Control Number  

kjul:60086029