Weiter zum Inhalt Weiter zur Fußzeile

From Verification to Causality-Based Explications

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/VeranstaltungenPlenarvortrag (Keynote)Eingeladen

Datum

18 Juli 2021

Konferenz

Titel33rd International Conference on Computer-Aided Verification
KurztitelCAV 2021
Dauer18 - 24 Juli 2021
Webseite
BekanntheitsgradInternationale Veranstaltung
Ortonline

Schlagworte

Forschungsprofilli­nien der TU Dresden

    DFG-Fachsystematik nach Fachkollegium

    Fächergruppen, Lehr- und Forschungsbereiche, Fachgebiete nach Destatis