Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel ...
Das Mittelstand 4.0-Kompetenzzentrum Kaiserslautern ist Teil des bundesweiten Netzwerkes Mittelstand-Digital. Mit Mittelstand-Digital unterstützt das ...
BEinCPPS (Business Experiments in Cyber Physical Production Systems) ist ein von der EU gefördertes Verbundprojekt mit einer Laufzeit von drei Jahren. ...
Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen ...