Institutsseminar/2025-02-21
| Datum | Freitag, 21. Februar 2025 | |
|---|---|---|
| Uhrzeit | 14:30 – 16:00 Uhr (Dauer: 90 min) | |
| Ort | Raum 010 (Gebäude 50.34) | |
| Webkonferenz | ||
| Vorheriger Termin | Fr 14. Februar 2025 | |
| Nächster Termin |
Termin in Kalender importieren: iCal (Download)
Vorträge
| Vortragende(r) | Adrian Freund |
|---|---|
| Titel | Metamodeling with JSON |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Thomas Weber |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
| Vortragende(r) | Fatma Chebbi |
|---|---|
| Titel | Verification of Quantitative Information Flow Security Using Statistical Model Checking |
| Vortragstyp | Masterarbeit |
| Betreuer(in) | Christopher Gerking |
| Vortragssprache | Deutsch |
| Vortragsmodus | in Präsenz |
| Kurzfassung | Kurzfassung |
- Neuen Vortrag erstellen