Verifikation Digitaler Schaltungen / Verification of Digital Circuits - Wintersemester 26/27
Veranstalter
| Dozent | Christoph Scholl, Prof. Dr., Lehrstuhl für Betriebssysteme |
| Ralf Wimmer, Prof. Dr., Siemens AG | |
| Assistent | Franz-Xaver Reichl, Dr., Lehrstuhl für Betriebssysteme |