Lehrveranstaltungen im Winter 2017/2018

• Vorlesungen

  Grundlagen der Rechnerarchitektur

  Entwurfsmethodik eingebetteter Systeme

  Spezifikation Eingebetteter Systeme
  

  Verifikation digitaler Systeme

• Seminare

  Seminar Zuverlässigkeitsanalyse

  Proseminar Eingebettete Systeme
  

• Labore

  Eingebettete Systeme

• Projekte

  Übersicht der Themengebiete