%0 Conference Paper %1 conf/safecomp/HardinSBPO16 %A Hardin, David S. %A Slind, Konrad %A Bortz, Mark %A Potts, James %A Owens, Scott %B SAFECOMP %D 2016 %E Skavhaug, Amund %E Guiochet, Jérémie %E Bitsch, Friedemann %I Springer %K %P 102-113 %T A High-Assurance, High-Performance Hardware-Based Cross-Domain System. %U http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016.html#HardinSBPO16 %V 9922 %@ 978-3-319-45476-4

@inproceedings{conf/safecomp/HardinSBPO16, added-at = {2023-12-13T10:12:02.000+0100}, author = {Hardin, David S. and Slind, Konrad and Bortz, Mark and Potts, James and Owens, Scott}, biburl = {https://www.bibsonomy.org/bibtex/25b1673fd79a806d03f1dda79ba404cac/admin}, booktitle = {SAFECOMP}, crossref = {conf/safecomp/2016}, editor = {Skavhaug, Amund and Guiochet, Jérémie and Bitsch, Friedemann}, ee = {https://doi.org/10.1007/978-3-319-45477-1_9}, interhash = {d5ab8511fba678fc5afc561af3ebaaeb}, intrahash = {5b1673fd79a806d03f1dda79ba404cac}, isbn = {978-3-319-45476-4}, keywords = {}, pages = {102-113}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T10:12:02.000+0100}, title = {A High-Assurance, High-Performance Hardware-Based Cross-Domain System.}, url = {http://dblp.uni-trier.de/db/conf/safecomp/safecomp2016.html#HardinSBPO16}, volume = 9922, year = 2016 }