Black Bg
국방대학교 도서관검색
- Home
- 기능목록
- 검색
상세정보
A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation
QR코드| 자료유형 : | 기사 |
|---|---|
| 기사명 : | A Formal Specification and Verification Framework for Time Warp-Based Parallel Simulation |
| 저자 : | Frey, P.|Radhakrishnan, R. |
| 발행사항 : | IEEE Computer Society : Los Alamitos, CA , 2002 |
| 수록잡지명 : | IEEE Transactions on Software Engineering[1975-2010] : 2002. January Vol.28 No.1 |
| 페이지 : | 58 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
서평쓰기