Mit der Bitte um Anmeldung im Stud-IP. Wichtige Informationen: In diesem Sommersemester ist die LV MDSE dem Modul "Formale Modelle für Cyberphysical Systems" zugeordnet. Die Lehrveranstaltung findet i
Wichtig: Die Veranstaltung muss von allen Informatikstudierenden im Bachelor und Master besucht werden, bevor sie das erste Seminar absolvieren. Interessierte Studierende tragen sich bitte im Stud.IP ein
Titel: Fehlererkennungsmethoden bei arithmetischen Operationen und quantitative Bestimmung der Erkennungsraten Erstprüfer: Prof. Siemers Zweitprüfer: Prof. Hartmann