Julius Laurin Adelt (Disputation): Reusable Abstractions for Deductive Verification of Autonomous Hybrid Systems
Monday, 22.06.2026 10:30 im Raum SRZ 5
Anlagen
Aushang_Disputation_Adelt.pdfAngelegt am 09.06.2026 von Julia Moudden
Geändert am 09.06.2026 von Julia Moudden
[Edit | Vorlage]
Disputationen