Bachelorverteidigung: "Application and Evaluation of Formal Verification Methods to a RISC-V Processor"
Anar Aliyev
- https://www.informatik.hu-berlin.de/de/events/bachelorverteidigung-application-and-evaluation-of-formal-verification-methods-to-a-risc-v-processor
- Bachelorverteidigung: "Application and Evaluation of Formal Verification Methods to a RISC-V Processor"
- 2026-07-30T15:00:00+02:00
- 2026-07-30T23:59:59+02:00
- Anar Aliyev
- Wann 30.07.2026 ab 15:00 Uhr
- Wo online: Zoom
- Name des Kontakts Prof. Dr.-Ing. Eckhard Grass
-
iCal
Die Verteidigung findet digital per Zoom statt. Eine Zoom-Einladung finden Sie hier. (nur mit Informatik-Account)