en | de

Model Checking

Masterstudium

VO2  SS 2012  703521

Lehrender

Raum Sprechstunde
VO Cezary Kaliszyk 3M12 Mittwoch11:15 – 12:45

Zeit & Ort

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

Sprache

The course is taught in English.

Anmeldung

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.