Rollatoren nehmen im Alltag vieler Menschen eine bedeutende Rolle ein und die korrekte Benutzung muss richtig erlernt und kontinuierlich geübt werden. …
Field-Programmable Gate Arrays bieten eine effiziente Plattform für kryptographische Hardwareimplementierungen. Trotz derer Vorteile, muss jedoch jede …
Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …
Der Industriepartner hat in verschiedenen Anwendungen Konzepte der rollenbasierten Zugriffskontrolle (RBAC) und Sicherheitsregeln umgesetzt, mit denen …
Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen …