Studentische Abschlussarbeiten
- BA-Arbeit: Entwicklung einer Testumgebung für das Leistungs- und Zuverlässigkeitsbewertungswerkzeug CASPA
- BA-Arbeit: Transformation von SysML-Modellen für ein Framework zur Analyse fehlertoleranter Systeme
- BA-Arbeit: Transformation von AADL-Modellen für ein Framework zur Analyse fehlertoleranter Systeme