Mohammad Reza Heidari Iman: Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data..., Gebunden
Advanced Techniques for Assertion-Based Verification in Hardware Designs Using Data Mining Algorithms
Buch
lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)
(soweit verfügbar beim Lieferanten)
Aktueller Preis: EUR 109,51
Verlängerter Rückgabezeitraum bis 31. Januar 2026
Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2025 gekauft wurden, können bis zum 31. Januar 2026 zurückgegeben werden.
Versandkosten
(United States of America): EUR 19,90
- Verlag:
- Springer Nature Switzerland, 07/2025
- Einband:
- Gebunden
- Sprache:
- Englisch
- ISBN-13:
- 9783031904097
- Artikelnummer:
- 12348948
- Umfang:
- 108 Seiten
- Gewicht:
- 334 g
- Maße:
- 241 x 160 mm
- Stärke:
- 12 mm
- Erscheinungstermin:
- 2.7.2025
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
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.
