55 citations · 338 across the 26 of their papers we have counts for
1 paper · 1 filter
Simos Gerasimou, Xingyu Zhao
Combining Bayesian learning and quantitative verification is a powerful toolset for analysing key quantitative properties of software systems, like reliability and response time. H…