Veranstaltungsdetails 243031-852
Verification of Digital Systems

Verification of Digital Systems (243031-852)

Informationen

Seminar

Please register in OPAL for details

Dozenten:

Prof. Ulrich Heinkel, Matthias Sauppe, Dr. Marko Rößler

Zeitangabe:

Mittwoch (14-täglich, gerade KW) 09:15-10:45 Uhr

Raumangabe:

C25.017 (alt: 2/W017)

Wahlobligatorische Gruppen:

B_AICG6, B_AIES6, B_AIMI6, B_AIVS6, M_DT1_2, M_DT2_2, M_Es1_2, M_Es2_2, M_ISIP2