Übung zur Verifikation digitaler Systeme (UE-VdS)
- Dozent/in
- Prof. Dr. Oliver Keszöcze
- Angaben
- Übung
2 SWS, ECTS-Studium, ECTS-Credits: 2,5, Sprache Deutsch
Zeit und Ort: Di 12:15 - 13:45, 02.112-128; Einzeltermin am 27.11.2018 12:15 - 13:45, 02.133-128
- 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 2018/2019:
- Verifikation digitaler Systeme (VdS)
- Institution: Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
|
|