Bertacco, Valeria
Valeria Bertacco academic and researcher in electrical engineering and computer science
VIAF ID: 19202347 ( Personal )
Permalink: http://viaf.org/viaf/19202347
Preferred Forms
- 100 1 _ ‡a Bertacco, Valeria
- 100 1 _ ‡a Bertacco, Valeria
- 100 1 _ ‡a Bertacco, Valeria
- 100 1 _ ‡a Bertacco, Valeria
-
-
-
- 100 0 _ ‡a Valeria Bertacco ‡c academic and researcher in electrical engineering and computer science
4xx's: Alternate Name Forms (2)
5xx's: Related Names (1)
Works
Title | Sources |
---|---|
Functional design errors in digital circuits : diagnosis, correction and repair | |
Hardware and Software: Verification and Testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings | |
Post-silicon and runtime verification for modern processors | |
Scalable hardware verification with symbolic simulation, 2006: |