Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …
Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen …
Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem …
CloudFlow has the ambition to provide a Cloud Computing infrastructure based on existing technology and standards that allows SME software vendors to …
The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the …