SecInt Doctoral College: Statistical Verification of Security Properties for Cyber- Physical Systems.
Starting Date: July 2020