Das Center of Comptence Tax Technology (CoC-TT) beinhaltet eine zielgerichtete thematische Zusammenarbeit zwischen dem Deutschen Forschungszentrum für …
Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …