Die Modulabschlussprüfung setzt sich aus zwei Teilleistungen zusammen - Tests am Ende aller Themengebiete  und schriftlichen Klausur über 90min nach Ende der Vorlesungszeit. Übungsblätter müssen nicht abgegeben werden.

Minitests:

• erster Minitest zu Petri-Netzen: 02.06.16
• zweiter Minitest zu CCS: 30.06.16
• dritter Minitest zu Timed Automata: 21.07.16

Wenn Sie an den Tests nicht teilnehmen können aufgrund von universitären Parallelveranstaltungen oder aufgrund von Krankheit (mit Attest), wenden Sie sich bitte an Julia Krämer.

Klausuren:

Die Klausur findet am Freitag, den 05.08.16, statt. Die genaue Uhrzeit und der Raum werden rechtzeitig bekannt gegeben.