| dc.contributor.author | BUTTERFIELD, ANDREW | en |
| dc.contributor.editor | Dimitra Giannakopoulou, Daniel Kroening, Elizabeth Polgreen, Natarajan Shankar | en |
| dc.date.accessioned | 2014-10-14T10:15:16Z | |
| dc.date.available | 2014-10-14T10:15:16Z | |
| dc.date.created | July 17-18, 2014 | en |
| dc.date.issued | 2014 | en |
| dc.date.submitted | 2014 | en |
| dc.identifier.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 | en |
| dc.identifier.other | Y | en |
| dc.description | PUBLISHED | en |
| dc.description | funded by the European Space Agency | en |
| dc.description | Vienna | en |
| dc.format.extent | 133 | en |
| dc.format.extent | 149 | en |
| dc.language.iso | en | en |
| dc.publisher | Springer | en |
| dc.relation.ispartofseries | 8471 | en |
| dc.rights | Y | en |
| dc.title | Separation Kernel Verification: The XtratuM Case Study | en |
| dc.title.alternative | LNCS | en |
| dc.title.alternative | Verified Software: Theories, Tools and Experiments | en |
| dc.type | Conference Paper | en |
| dc.type.supercollection | scholarly_publications | en |
| dc.type.supercollection | refereed_publications | en |
| dc.identifier.peoplefinderurl | http://people.tcd.ie/butrfeld | en |
| dc.identifier.rssinternalid | 97223 | en |
| dc.rights.ecaccessrights | openAccess | |
| dc.subject.TCDTag | Computer Science/Engineering | en |
| dc.subject.TCDTag | Computer Software | en |
| dc.identifier.uri | http://hdl.handle.net/2262/71490 | |
