13 January 2022

Verifiability Talk 25: “Probabilistic Formal Modelling and Analysis to Uncover and Interpret Interaction Styles”

Speaker: Oana Andrei (University of Glasgow)
Title: “Probabilistic Formal Modelling and Analysis to Uncover and Interpret Interaction Styles”
Date: 13/01/2022 – Meeting Link
Time: 16:00-17:00 (UTC (GMT))