Skip to main navigation Skip to search Skip to main content

VP-based DIFT for embedded binaries: A RISC-V case study

  • Pascal Pieper (Speaker)
  • Vladimir Herdt (Speaker)
  • Große, D. (Speaker)
  • Rolf Drechsler (Speaker)

Activity: Talk or presentationContributed talkscience-to-science

Period18 Mar 2021
Event titleITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 2021
Event typeConference
LocationMünchen, GermanyShow on map

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