|
Praktikum Modellierung und formale Verifikation mit SCADE (FM-Lab)
- Lecturer
- PD Dr. Stefan Milius
- Details
- Praktikum
8 cred.h, ECTS studies, ECTS credits: 10, Sprache Deutsch und Englisch
Time and place: Mon 14:15 - 15:45, room tbd; comments on time and place: n.V.
- ECTS information:
- Credits: 10
- Additional information
- Expected participants: 10, Maximale Teilnehmerzahl: 10
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2016/2017:
- Praktikum Formale Methoden (FM-Lab)
- Department: Chair of Computer Science 8 (Theoretical Computer Science)
|
|
|