ScholarWorks@서강대학교

상세 보기

임베디드 시스템의 동적 모델링을 위한 정형적 검증 방안

제목
임베디드 시스템의 동적 모델링을 위한 정형적 검증 방안
저자
박수용
발행일
2006-02-01
학회명
2006 한국 소프트웨어공학 학술대회

ScholarWorks@서강대학교

04107 서울특별시 마포구 백범로 35 (신수동) 서강대학교 Tel. 02-705-8114

COPYRIGHT © 서강대학교 All Rights Reserved.

Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.

You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.