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]
Abstract is missing.