Modelling and analysis of security- and performance-critical computer systems

• McIver, Annabelle (Primary Chief Investigator)

• Department of Computing

Project: Research