Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/iccd/XiaWBEJKCRDNBGN18
%A Xia, Hongyan
%A Woodruff, Jonathan
%A Barral, Hadrien
%A Esswood, Lawrence
%A Joannou, Alexandre
%A Kovacsics, Robert
%A Chisnall, David
%A Roe, Michael
%A Davis, Brooks
%A Napierala, Edward
%A Baldwin, John
%A Gudka, Khilan
%A Neumann, Peter G.
%A Richardson, Alexander
%A Moore, Simon W.
%A Watson, Robert N. M.
%B ICCD
%D 2018
%I IEEE Computer Society
%K dblp
%P 92-99
%T CheriRTOS: A Capability Model for Embedded Devices.
%U http://dblp.uni-trier.de/db/conf/iccd/iccd2018.html#XiaWBEJKCRDNBGN18
%@ 978-1-5386-8477-1
@inproceedings{conf/iccd/XiaWBEJKCRDNBGN18,
added-at = {2019-09-25T00:00:00.000+0200},
author = {Xia, Hongyan and Woodruff, Jonathan and Barral, Hadrien and Esswood, Lawrence and Joannou, Alexandre and Kovacsics, Robert and Chisnall, David and Roe, Michael and Davis, Brooks and Napierala, Edward and Baldwin, John and Gudka, Khilan and Neumann, Peter G. and Richardson, Alexander and Moore, Simon W. and Watson, Robert N. M.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d4c7b6b4db26ebb8d1383ae13999c720/dblp},
booktitle = {ICCD},
crossref = {conf/iccd/2018},
ee = {http://doi.ieeecomputersociety.org/10.1109/ICCD.2018.00023},
interhash = {1bc3c4f058f43e1b8beb33b4ac5682bb},
intrahash = {d4c7b6b4db26ebb8d1383ae13999c720},
isbn = {978-1-5386-8477-1},
keywords = {dblp},
pages = {92-99},
publisher = {IEEE Computer Society},
timestamp = {2019-09-27T16:39:18.000+0200},
title = {CheriRTOS: A Capability Model for Embedded Devices.},
url = {http://dblp.uni-trier.de/db/conf/iccd/iccd2018.html#XiaWBEJKCRDNBGN18},
year = 2018
}