Verifikation von Networked Labs-on-Chip Architekturen

Activity: Talk or presentation › Contributed talk › science-to-science

Period09 Feb 2017
Event title20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
Event typeConference
LocationGermanyShow on map

Fields of science

  • 202 Electrical Engineering, Electronics, Information Engineering
  • 102 Computer Sciences

JKU Focus areas

  • Computation in Informatics and Mathematics
  • Nano-, Bio- and Polymer-Systems: From Structure to Function
  • Mechatronics and Information Processing

Documents & Links