Quantitative Verification - Sommersemester 2020
Zeit / Ort
Vorlesung | Wegen der aktuellen Situation wird dieser Kurs online angeboten. Aufzeichnungen und Materialen werden im Ilias zur Verfügung gestellt: https://ilias.uni-freiburg.de/ilias.php?ref_id=1552336&cmdClass=ilrepositorygui&cmdNode=yc&baseClass=ilRepositoryGUI |
Übungen | nach Ankündigung, ca. alle zwei Wochen per Videostream |