Separation Kernel Verification: The XtratuM Case Study

This item is OpenAccessThis item is covered by a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 Internationa. Click to find out more
Share this page with addthis.com
Thumbnail
File Type:
PDF
Item Type:
Conference Paper
Date:
2014
Author:
Access:
openAccess
Citation:
David Sanan, Andrew Butterfield, Mike Hinchey, Separation Kernel Verification: The XtratuM Case Study, LNCS, Verified Software: Theories, Tools and Experiments, Vienna, July 17-18, 2014, Dimitra Giannakopoulou, Daniel Kroening, Elizabeth Polgreen, Natarajan Shankar, 8471, Springer, 2014, 133 - 149
Download Item:
URI:
http://hdl.handle.net/2262/71490
Author's Homepage:
http://people.tcd.ie/butrfeld
Description:
PUBLISHED
funded by the European Space Agency
Vienna
Author: BUTTERFIELD, ANDREW
Other Titles:
LNCS
Verified Software: Theories, Tools and Experiments
Publisher:
Springer
Type of material:
Conference Paper
URI:
http://hdl.handle.net/2262/71490
Collections
Series/Report no:
8471
Availability:
Full text available
Subject (TCD):
Computer Science/Engineering , Computer Software
Metadata
Show full item record

The following license files are associated with this item: