%0 Conference Paper %1 conf/itc/SilvaBH021 %A da Silva, Felipe Augusto %A Bagbaba, Ahmet Cagri %A Hamdioui, Said %A Sauer, Christian %B ITC %D 2021 %I IEEE %K dblp %P 329-333 %T An automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs. %U http://dblp.uni-trier.de/db/conf/itc/itc2021.html#SilvaBH021 %@ 978-1-6654-1695-5

@inproceedings{conf/itc/SilvaBH021, added-at = {2022-10-02T00:00:00.000+0200}, author = {da Silva, Felipe Augusto and Bagbaba, Ahmet Cagri and Hamdioui, Said and Sauer, Christian}, biburl = {https://www.bibsonomy.org/bibtex/21411676c2d0fc1cb8ef07c420bb46116/dblp}, booktitle = {ITC}, crossref = {conf/itc/2021}, ee = {https://doi.org/10.1109/ITC50571.2021.00047}, interhash = {fc82515b0b69ae41bf0800b623fe775b}, intrahash = {1411676c2d0fc1cb8ef07c420bb46116}, isbn = {978-1-6654-1695-5}, keywords = {dblp}, pages = {329-333}, publisher = {IEEE}, timestamp = {2024-04-10T00:23:07.000+0200}, title = {An automated formal-based approach for reducing undetected faults in ISO 26262 hardware compliant designs.}, url = {http://dblp.uni-trier.de/db/conf/itc/itc2021.html#SilvaBH021}, year = 2021 }