Was sind "Verlässliche Systeme"?

Hallo.

Weiß jemand, was man sich unter der Vorlesung “Verlässliche Systeme” vorzustellen hat, die von einem Herrn Ruess scheinbar gehalten wird, der scheinbar ein Gastdocent ist und keine eigene Homepage oder Mailadresse hat, die keine eigene Vorlesungshomepage hat, und scheinbar schon letztes Semester gehalten wurde, aber auch dort keine aktuell gehaltene Vorlesungshomepage hatte, sodass sich mir nicht ganz erschließt, was man sich darunter vorzustellen hat.

Wie kommst du darauf, dass er ein scheinbarer Gastdozent sein soll und die Vorlesung nur scheinbar hält?!

Was den Inhalt betrifft:
http://www.tcs.ifi.lmu.de/lehre/WS08-09/DepSys/

Die Vorlesung von Herrn Dr. Harald Ruess muss leider nochmals ausfallen. War schon im letzten Semester so. Ich hoffe, dass wir Herrn Ruess in einem der kommenden Semester gewinnen koennen. Viele Gruesse, MH