Zhang, S., & Olmos, B. (2025). Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs.
Style de citation Chicago (17e éd.)Zhang, Shuhang, et Bryan Olmos. Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs. 2025.
Style de citation MLA (9e éd.)Zhang, Shuhang, et Bryan Olmos. Automated Formal Verification of Area-Optimized Safety Registers in Automotive SoCs. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.