Only available in German
Neue Webseite online!
Reinhart Koselleck-Projekt PolyVer - jetzt mit vielen Informationen
Polyver (Polynomial Verification of Electronic Circuits) ist ein von Reinhart Koselleck initiiertes und von der Deutschen Forschungsgemeinschaft (DFG) gefördertes Projekt. Innerhalb der Arbeitsgruppe Rechnerarchitektur (AGRA) an der Universität Bremen und unter der Leitung von Prof. Dr. Rolf Drechsler erforscht das Projekt polynomische obere Schranken für die formale Verifikation von Schaltkreisen.
Auf der Webseite finden Sie alle Informationen rund um das Thema, Veröffentlichungen, Veranstaltungen, Kontaktpersonen und viel mehr.
Jetzt entdecken!
In X teilen
In LinkedIn teilen
