Iman, M. R. H., Di Natale, G., & Morin-Allory, K. (2026). Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions.
Chicago-Zitierstil (17. Ausg.)Iman, Mohammad Reza Heidari, Giorgio Di Natale, und Katell Morin-Allory. Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions. 2026.
MLA-Zitierstil (9. Ausg.)Iman, Mohammad Reza Heidari, et al. Automatic Assertion Mining in Assertion-Based Verification: Techniques, Challenges, and Future Directions. 2026.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.