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

Project: Research

Status	Finished
Effective start/end date	1/07/11 → 15/01/12

Project Details