Small Memory Software
Formale Methoden für eingebettete Systeme
Entwurf eingebetteter Software
Sicherheits- und Zuverlässigkeitstechnik
Programmierung eingebetteter Hardware
Entwurf sicherheitskritischer Regelsysteme
software_award