Runtime Verification

Semester:

SS 2012

Modul:

CS4137

Lecturer:

Prof. Dr. Martin Leucker

click here for general information on this course

SS 2012

Lecture
Tuesday 10:15-11:45 Seminarraum Informatik 4

Tutorial
Thursday 12:30-14:00 Room 108, Building 64

click to view Dates.

Mailingliste

Alle wichtigen Informationen zur Veranstaltung Runtime Verification werden ausschließlich über diese Mailingliste verteilt. Es wird dringend empfohlen, dass sich alle Studierenden eintragen. Der Zugriff ist nur innerhalb der Domäne "....uni-luebeck.de" möglich.

Mailingliste Runtime Verification.

Material