-
Anglický jazyk
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Autor: Mohammad Reza Heidari Iman
Mohammad Reza Heidari Iman is a Postdoctoral Researcher at the TIMA Laboratory, Université Grenoble Alpes, France, starting in September 2024. He completed his Ph.D. in the Department of Computer Systems at Tallinn University of Technology, Estonia, in August... Viac o knihe
Na objednávku
104.49 €
bežná cena: 109.99 €
O knihe
Mohammad Reza Heidari Iman is a Postdoctoral Researcher at the TIMA Laboratory, Université Grenoble Alpes, France, starting in September 2024. He completed his Ph.D. in the Department of Computer Systems at Tallinn University of Technology, Estonia, in August 2024. His research focuses on Hardware Verification, Assertion-Based Verification, Security and Security Verification of Embedded and Safety-Critical Systems, and the application of Data Mining in Verification and Security.
- Vydavateľstvo: Springer
- Rok vydania: 2025
- Formát: Hardback
- Rozmer: 241 x 160 mm
- Jazyk: Anglický jazyk
- ISBN: 9783031904097
Nemecký jazyk 
