ScholarWorks@고려대학교

상세 보기

Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach

  • Hyuck Yoo
제목
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach
저자
Hyuck Yoo
학회명
Proceedings the 9th International SPIN Workshop on Model Checking of Software
학회 개최일
2002-04-11 ~ 2002-04-13

ScholarWorks@고려대학교

02841 서울특별시 성북구 안암로 145 Tel. 02-3290-2963

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.