%0 Conference Paper %1 conf/latw/BagaliniSRVKS17 %A Bagalini, Enea %A Sini, Jacopo %A Reorda, Matteo Sonza %A Violante, Massimo %A Klimesch, H. %A Sarson, Peter %B LATS %D 2017 %I IEEE %K dblp %P 1-6 %T An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard. %U http://dblp.uni-trier.de/db/conf/latw/lats2017.html#BagaliniSRVKS17 %@ 978-1-5386-0415-1

@inproceedings{conf/latw/BagaliniSRVKS17, added-at = {2019-06-02T00:00:00.000+0200}, author = {Bagalini, Enea and Sini, Jacopo and Reorda, Matteo Sonza and Violante, Massimo and Klimesch, H. and Sarson, Peter}, biburl = {https://www.bibsonomy.org/bibtex/2543e3d1e2f6a8231aec34df1a6a9fbc1/dblp}, booktitle = {LATS}, crossref = {conf/latw/2017}, ee = {https://www.wikidata.org/entity/Q60245236}, interhash = {73396863adcc15a13538a91025b23f29}, intrahash = {543e3d1e2f6a8231aec34df1a6a9fbc1}, isbn = {978-1-5386-0415-1}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE}, timestamp = {2019-06-04T13:14:10.000+0200}, title = {An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard.}, url = {http://dblp.uni-trier.de/db/conf/latw/lats2017.html#BagaliniSRVKS17}, year = 2017 }