|
DSpace at RU >
University Library >
Academic bibliography >
Files in This Item:
| File |
Description |
Size | Format |
|---|
 | publisher's version | 290.44 kB | Adobe PDF | View/Open |
|
| Title: | Formal Nova interface specification : Formal specification of the micro-hypervisor interface |
| Author(s): | Tews, H. (298972115)
Weber, T.
Poll, E. (089896793)
Eekelen, M.C.J.D. van (073839825) |
| Publication year: | 2008 |
| Document type: | Commission report or memorandum |
| Number of pages: | 37 p. |
| Annotation: | 2008-Tews-NovaSpec Robin deliverable D12 |
| Subject: | Digital Security |
| Organization: | Digital Security
Security of Systems |
| Organization (former): | Biophysics
|
| Appears in Collections: | Academic bibliography
|
|
Please use this identifier to cite or link to this item:
http://hdl.handle.net/2066/72454
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
|
|
