Übung zur Verifikation digitaler Systeme (UE-VdS)
- Lecturer
- Prof. Dr. Oliver Keszöcze
- Details
- Übung
2 cred.h, ECTS studies, ECTS credits: 2,5, Sprache Deutsch
Time and place: Thu 10:00 - 11:30, 02.112-128 (außer Thu 17.6.2021)
- Fields of study
- WPF INF-BA-V-HSCD ab 4
WF CE-BA-TW ab 4
WPF INF-MA ab 1
WPF AI-MA ab 1
- ECTS information:
- Credits: 2,5
- Additional information
- Expected participants: 14
- Assigned to: Verifikation digitaler Systeme
- Verwendung in folgenden UnivIS-Modulen
- Startsemester SS 2021:
- Verifikation digitaler Systeme (VdS)
- Department: Chair of Computer Science 12 (Hardware-Software-Co-Design)
|
|