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 |