Sanjiv Mathur, Binod Kumar Choudhary, Deepak Kumar. Evaluating the Performance of Formal Methods in Embedded Computer Architecture to Minimize Power Consumption. In 15th International Conference on Computing Communication and Networking Technologies, ICCCNT 2024, Kamand, India, June 24-28, 2024. pages 1-6, IEEE, 2024. [doi]
@inproceedings{MathurCK24,
title = {Evaluating the Performance of Formal Methods in Embedded Computer Architecture to Minimize Power Consumption},
author = {Sanjiv Mathur and Binod Kumar Choudhary and Deepak Kumar},
year = {2024},
doi = {10.1109/ICCCNT61001.2024.10724163},
url = {https://doi.org/10.1109/ICCCNT61001.2024.10724163},
researchr = {https://researchr.org/publication/MathurCK24},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {15th International Conference on Computing Communication and Networking Technologies, ICCCNT 2024, Kamand, India, June 24-28, 2024},
publisher = {IEEE},
isbn = {979-8-3503-7024-9},
}