Sarvesh Patankar, Sainath Karlapalem, Sakshi Biyani, Wen Chen, Roman Chovanec, Martin Vlk, Martin Kaspar. Hybrid Methodology for Verification of SW Safety Mechanisms. In 39th IEEE VLSI Test Symposium, VTS 2021, San Diego, CA, USA, April 25-28, 2021. pages 1-4, IEEE, 2021. [doi]
@inproceedings{PatankarKBCCVK21,
title = {Hybrid Methodology for Verification of SW Safety Mechanisms},
author = {Sarvesh Patankar and Sainath Karlapalem and Sakshi Biyani and Wen Chen and Roman Chovanec and Martin Vlk and Martin Kaspar},
year = {2021},
doi = {10.1109/VTS50974.2021.9441001},
url = {https://doi.org/10.1109/VTS50974.2021.9441001},
researchr = {https://researchr.org/publication/PatankarKBCCVK21},
cites = {0},
citedby = {0},
pages = {1-4},
booktitle = {39th IEEE VLSI Test Symposium, VTS 2021, San Diego, CA, USA, April 25-28, 2021},
publisher = {IEEE},
isbn = {978-1-6654-1949-9},
}