Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Wintersemester 23/24
Veranstalter
Dozent | Christoph Scholl, Prof. Dr., Arbeitsgruppe Betriebssysteme |
Prof. Dr. Ralf Wimmer, Altair Engineering GmbH | |
Assistent | Tobias Seufert, Arbeitsgruppe Betriebssysteme |