Black Bg
국방대학교 도서관검색
- Home
- 기능목록
- 검색
상세정보
A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems
QR코드| 자료유형 : | 기사 |
|---|---|
| 기사명 : | A Formally Verified Application-Level Framework for Real-Time Scheduling on POSIX Real-Time Operating Systems |
| 저자 : | Peing Li|Binoy Ravindran |
| 발행사항 : | IEEE Computer Society : Los Alamitos, CA , 2004 |
| 수록잡지명 : | IEEE Transactions on Software Engineering[1975-2010] : 2004. September Vol.30 No.9 |
| 페이지 : | 613 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
서평쓰기