Inproceedings,
Hardware runtime verification of embedded software in SoPC.
D. Solet, J. Béchennec, M. Briday, S. Faucou, and S. Pillement.SIES, page 171-176. IEEE, (2016)
Meta data
- BibTeX key
- conf/sies/SoletBBFP16
- entry type
- inproceedings
- booktitle
- SIES
- year
- 2016
- pages
- 171-176
- publisher
- IEEE
- crossref
- conf/sies/2016
- ee
- https://doi.org/10.1109/SIES.2016.7509425
- isbn
- 978-1-5090-2282-3
- url
- http://dblp.uni-trier.de/db/conf/sies/sies2016.html#SoletBBFP16
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sies/SoletBBFP16
%A Solet, Dimitry
%A Béchennec, Jean-Luc
%A Briday, Mikaël
%A Faucou, Sébastien
%A Pillement, Sébastien
%B SIES
%D 2016
%I IEEE
%K dblp
%P 171-176
%T Hardware runtime verification of embedded software in SoPC.
%U http://dblp.uni-trier.de/db/conf/sies/sies2016.html#SoletBBFP16
%@ 978-1-5090-2282-3
@inproceedings{conf/sies/SoletBBFP16,
added-at = {2021-10-14T00:00:00.000+0200},
author = {Solet, Dimitry and Béchennec, Jean-Luc and Briday, Mikaël and Faucou, Sébastien and Pillement, Sébastien},
biburl = {https://www.bibsonomy.org/bibtex/2fb98137f555521b79900ce870a0aabdd/dblp},
booktitle = {SIES},
crossref = {conf/sies/2016},
ee = {https://doi.org/10.1109/SIES.2016.7509425},
interhash = {6c0222c2d2ceb92d2d184a8a53c95e77},
intrahash = {fb98137f555521b79900ce870a0aabdd},
isbn = {978-1-5090-2282-3},
keywords = {dblp},
pages = {171-176},
publisher = {IEEE},
timestamp = {2024-04-10T08:30:17.000+0200},
title = {Hardware runtime verification of embedded software in SoPC.},
url = {http://dblp.uni-trier.de/db/conf/sies/sies2016.html#SoletBBFP16},
year = 2016
}