Jacopo Sini, Matteo Sonza Reorda, Massimo Violante, Peter Sarson. Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard. In Dimitris Gizopoulos, Dan Alexandrescu, Mihalis Maniatakos, Panagiota Papavramidou, editors, 24th IEEE International Symposium on On-Line Testing And Robust System Design, IOLTS 2018, Platja D'Aro, Spain, July 2-4, 2018. pages 287-290, IEEE, 2018. [doi]
@inproceedings{SiniRVS18,
title = {Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard},
author = {Jacopo Sini and Matteo Sonza Reorda and Massimo Violante and Peter Sarson},
year = {2018},
doi = {10.1109/IOLTS.2018.8474083},
url = {https://doi.org/10.1109/IOLTS.2018.8474083},
researchr = {https://researchr.org/publication/SiniRVS18},
cites = {0},
citedby = {0},
pages = {287-290},
booktitle = {24th IEEE International Symposium on On-Line Testing And Robust System Design, IOLTS 2018, Platja D'Aro, Spain, July 2-4, 2018},
editor = {Dimitris Gizopoulos and Dan Alexandrescu and Mihalis Maniatakos and Panagiota Papavramidou},
publisher = {IEEE},
isbn = {978-1-5386-5992-2},
}