|
Übung zur Verifikation digitaler Systeme (UE-VdS)
- Lecturer
- Prof. Dr.-Ing. Michael Glaß
- Details
- Übung
2 cred.h, ECTS studies, ECTS credits: 2,5, Sprache Deutsch
Time and place: Thu 12:45 - 14:00, 02.112-128 (außer Thu 13.6.2013, Thu 27.6.2013); single appointment on 13.6.2013, single appointment on 27.6.2013 12:45 - 14:00, 02.133-128
- Fields of study
- 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 information:
- Credits: 2,5
- Additional information
- Expected participants: 20
- Assigned to: Verifikation digitaler Systeme
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2013:
- Verifikation digitaler Systeme (VdS)
- Department: Chair of Computer Science 12 (Hard-Software-Co-Design)
|
|
|