Skip to content Skip to footer

From Verification to Causality-Based Explications

Activity: Talk or presentation at external institutions/eventsKeynoteInvited

Date

18 Aug 2021

Conference

TitleThe 10th IFIP WG 1.8 Workshop on Trends in Concurrency Theory
Abbreviated titleTRENDS 2021
Conference number
Duration18 August 2021
Website
Degree of recognitionInternational event
Locationonline
City

Keywords

Research priority areas of TU Dresden

    DFG Classification of Subject Areas according to Review Boards

    Subject groups, research areas, subject areas according to Destatis