25 February 2025 to 1 March 2025
Building 30.95
Europe/Berlin timezone

Synchronous Stream Runtime Verification with Uncertainties and Assumptions

27 Feb 2025, 09:00
30m
Vortragsraum 3 (Building 30.51 (Bibliothek))

Vortragsraum 3

Building 30.51 (Bibliothek)

Straße am Forum 1, 76131 Karlsruhe, Germany
Talk in EN (20min + 10min) Software Engineering (SE 2025) SE Vorträge Finalrunde SWT-Preis

Speaker

Hannes Kallwies (Univerität Lübeck)

Presentation materials

There are no materials yet.