Übung zur Verifikation digitaler Systeme (UE-VdS)
- Dozent/in
- Dr.-Ing. Michael Glaß
- Angaben
- Übung
2 SWS, ECTS-Studium, ECTS-Credits: 2,5, Sprache Deutsch
Zeit und Ort: Mi 10:45 - 12:15, 02.112-128
- Studienfächer / Studienrichtungen
- WPF INF-BA-V-HSCD ab 4
WF CE-BA-TW ab 4
WPF CE-MA-INF ab 1
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 SS 2012:
- Verifikation digitaler Systeme (VdS)
- Institution: Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
|
|