Übung zur Verifikation digitaler Systeme (UE-VdS(A))
- Dozent/in
- Prof. Dr. Oliver Keszöcze
- Angaben
- Übung
2 SWS, ECTS-Studium, ECTS-Credits: 2,5, Sprache Deutsch
Zeit und Ort: Mo 14:15 - 15:45, 00.152-113
- Studienfächer / Studienrichtungen
- WPF INF-BA-V-HSCD ab 4
WF CE-BA-TW ab 4
WPF INF-MA ab 1
- ECTS-Informationen:
- Credits: 2,5
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20
- Zugeordnet zu: Verifikation digitaler Systeme
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2022/2023:
- Verifikation digitaler Systeme (VdS)
- Institution: Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
|
|