Lectures
- Grundlagen der Technischen Informatik
- Rechnerarchitektur
- Architektur Eingebetteter Systeme
- Dependable Embedded Systems
- Echtzeitsysteme in Robotik und Regelungstechnik
- Entwurfsmethodik Eingebetteter Systeme
- MATLAB/Mathematica Programmierlab
- Rechnergest眉tzter Entwurf eingebetteter Echtzeitsysteme f眉r unbemannte Luftfahrzeuge
- Spezifikation eingebetteter Systeme
- Verifikation digitaler Systeme