Quantitative Verification - Sommersemester 2021
Zeit / Ort
| Vorlesung | Aufgrund der aktuellen Lage wird die Vorlesung bis auf Weiteres online als Live-Stream sowie in Form von Videoaufzeichnungen angeboten. Zeiten: Mo und Do, 10-12 Uhr Weitere Informationen und Zugang zu den Vorlesungen via Illias: https://ilias.uni-freiburg.de/goto.php?target=crs_2072905&client_id=unifreiburg (Passwort nach Anmeldung im HISinOne oder auf Anfrage) |
| Übungen | Wird angekündigt, etwa alle zwei Wochen Donnerstags zur Vorlesungszeit, per Live-Stream. |