University Events

Event items

Quantitative Analysis of Collective Adaptive Systems

Quantitative formal methods, such as stochastic process algebras,

Date/Time: 23 January 2018 11:00 - 23 January 2018 12:00

Venue: USB Building room 2.022

In this talk I will give an introduction to formal quantitative analysis and the challenges of modelling collective adaptive systems, together with recent developments to address those challenges using the modelling language CARMA.