ÜbungCS4138
Model Checking
Originaltitel in UnivIS: „Model Checking / CS4138, CS4507 / Übung“
Termine
Wöchentlich, Mi · 14:15–15:45
nicht in der vorlesungsfreien Zeit
Raum: AM S 2
Beschreibung
Organisatorisches
Varianten:
CS4138-KP06, CS4138SJ14, CS4138, CS4138 TSJ14
CS4507, CS4507-KP12 (als Teilmodul von Softwareverifkation)
Termine Übung:
Hinweise
Die Kreditpunkte gibt es nur zusammen mit der Übung.
Im Vorlesungsverzeichnis
- , 1. - 3. Fachsemester