Fields of science
- 202017 Embedded systems
- 202005 Computer architecture
- 102005 Computer aided design (CAD)
- 102 Computer Sciences
- 102011 Formal languages
JKU Focus areas
- Digital Transformation
Applying the four-eyes principle to RISC-V processor verification by equivalent program execution
- Lucas Klemmer (Speaker)
- Große, D. (Speaker)
Activity: Talk or presentation › Contributed talk › science-to-science