Einführung in eingebettete Systeme
Elektrotechnische Grundlagen der Informatik
Anwendung formaler Verifikationsmethoden auf eingebettete Systeme
Einführung in eingebettete Systeme
Modellierung technischer und physikalischer Systeme
Sicherheits- und Zuverlässigkeitstechnik