SoSe 2026
Fehlend (Krankschreibung): 3Fehlend (ohne Grund): 4Gemeldet am 31.08.2026
FB20 Informatik · Angeboten in SoSe 2026
Mittel der Semesterschnitte
2.50
Jedes Semester zählt gleich, unabhängig von seiner Größe.
Gewichteter Gesamtschnitt
2.50
Nach Kohortengröße gewichtet — der Schnitt über alle Ergebnisse hinweg.
Bestehensquote
89%
Anteil der Ergebnisse von 4,0 oder besser. 4,0 ist die letzte bestandene Note.
Semester mit Daten
1
Die deutsche Skala reicht von 1,0 (beste) bis 4,0 (letzte bestandene Note), 5,0 ist nicht bestanden. Eine 4,3 gibt es nicht.
Fehlend (Krankschreibung): 3Fehlend (ohne Grund): 4Gemeldet am 31.08.2026
Noch keine Bewertungen — mach den Anfang.
Deine Bewertung hängt an einer zufälligen ID in diesem Browser. Kein Konto, nichts, was dich identifiziert.
- formale Modellierung sicherheitskritischer Systeme in Prädikatenlogik - Theoretische Grundlagen von Zugriffskontrollen und Informationsflusskontrollen - formale Modellierung von Sicherheitseigenschaften in Prädikatenlogik - Unterscheidung von qualitativen und quantitativen Sicherheitseigenschaften - Entscheidbarkeits- und Komplexitätsresultate für Sicherheitseigenschaften - Verifikation von Sicherheitsgarantien in verteilten Systemen - Auswirkung von Komposition und Verfeinerung auf Sicherheitsgarantien - formale Sprachen zur Beschreibung von Sicherheitspolitiken und deren Semantik - Zertifizierung sicherheitskritischer Systeme
Kein Prüfungstermin veröffentlicht.
Zum Stundenplan hinzufügenTermine, Räume und Angaben stammen aus TUCaN und können veraltet sein. Falsche Angabe melden