en | de

Model Checking

master program

VO2  SS 2012  703521

Lecturer

room consultation hours
VO Cezary Kaliszyk 3M12 Tuesday14:15 – 15:45

Time & Place

VO Wednesday08:15 – 10:00 HS 10 Cezary Kaliszyk

Language

The course is taught in English.

Registration

Online registration is required until 23:59 on March 31.

Grading

The final grade is the maximum of the grade from the final exam and the grade for the performance in the exercises.