Vorlesung mit ÜbungCS4138

Model Checking

Originaltitel in UnivIS: „Model Checking / CS4138, CS4507 / Vorlesung“

Termine

Wöchentlich, Di · 12:15–13:45
nicht in der vorlesungsfreien Zeit
Raum: Seminarraum Mathematik 2 ( Banach )
Wöchentlich, Mi · 14:15–15:45
nicht in der vorlesungsfreien Zeit
Raum: AM S 2

Varianten:

CS4138-KP06, CS4138SJ14, CS4138, CS4138 TSJ14

CS4507, CS4507-KP12 (als Teilmodul von Softwareverifkation)

Die Kreditpunkte gibt es nur zusammen mit der Übung.