%0 Conference Paper %1 conf/iolts/SiniRVS18 %A Sini, Jacopo %A Reorda, Matteo Sonza %A Violante, Massimo %A Sarson, Peter %B IOLTS %D 2018 %E Gizopoulos, Dimitris %E Alexandrescu, Dan %E Maniatakos, Mihalis %E Papavramidou, Panagiota %I IEEE %K dblp %P 287-290 %T Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard. %U http://dblp.uni-trier.de/db/conf/iolts/iolts2018.html#SiniRVS18 %@ 978-1-5386-5992-2

@inproceedings{conf/iolts/SiniRVS18, added-at = {2018-10-08T00:00:00.000+0200}, author = {Sini, Jacopo and Reorda, Matteo Sonza and Violante, Massimo and Sarson, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2f8ae60f2ecb1fec28a3314dcb41c27b1/dblp}, booktitle = {IOLTS}, crossref = {conf/iolts/2018}, editor = {Gizopoulos, Dimitris and Alexandrescu, Dan and Maniatakos, Mihalis and Papavramidou, Panagiota}, ee = {https://doi.org/10.1109/IOLTS.2018.8474083}, interhash = {d30ce6a8401907523d108b0353fbec65}, intrahash = {f8ae60f2ecb1fec28a3314dcb41c27b1}, isbn = {978-1-5386-5992-2}, keywords = {dblp}, pages = {287-290}, publisher = {IEEE}, timestamp = {2018-10-11T11:41:14.000+0200}, title = {Towards an automatic approach for hardware verification according to ISO 26262 functional safety standard.}, url = {http://dblp.uni-trier.de/db/conf/iolts/iolts2018.html#SiniRVS18}, year = 2018 }