@inproceedings{solet:hal-01804096,
TITLE = {HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems},
AUTHOR = {Solet, Dimitry and B{\'e}chennec, Jean-Luc and Briday, Mika{\"e}l and Faucou, S{\'e}bastien and Pillement, S{\'e}bastien},
URL = {https://hal.science/hal-01804096},
BOOK
TITLE = {2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)},
ADDRESS = {Edinburgh, United Kingdom},
HAL_LOCAL_REFERENCE = {ACTI},
PUBLISHER = {IEEE},
SERIES = {2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS)},
YEAR = {2018},
MONTH = Aug, DOI = {10.1109/AHS.2018.8541459},
HAL_ID = {hal-01804096},
HAL_VERSION = {v1},
}