Praktikum Modellierung und formale Verifikation mit SCADE (FM-Lab)- Dozent/in
- PD Dr. Stefan Milius
- Angaben
- Praktikum
8 SWS, ECTS-Studium, ECTS-Credits: 10, Sprache Deutsch und Englisch
Zeit und Ort: Mo 14:15 - 15:45, Raum n.V.; Bemerkung zu Zeit und Ort: n.V.
- ECTS-Informationen:
- Credits: 10
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 10, Maximale Teilnehmerzahl: 10
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2016/2017:
- Praktikum Formale Methoden (FM-Lab)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
|