@inproceedings{solet:hal-01307973,
TITLE = {Hardware runtime verification of embedded software in SoPC},
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-01307973},
BOOK
TITLE = {2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)},
ADDRESS = {Cracovie, Poland},
HAL_LOCAL_REFERENCE = {STR\_HCERES2020},
PAGES = {SIES 2016 paper 16},
YEAR = {2016},
MONTH = May, DOI = {10.1109/sies.2016.7509425},
KEYWORDS = {formal specification ; past-time linear temporal logic formulas ; software execution ; FPGA ; microcontroller ; system-on-programmable-chip ; embedded software ; hardware runtime verification ; SoPC ; ptLTL formulas},
PDF = {https://hal.science/hal-01307973/file/Solet2016.pdf},
HAL_ID = {hal-01307973},
HAL_VERSION = {v1},
}