Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment

Short title	Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment
Status	Finished
Effective start/end date	1/04/20 → 30/09/21

Project Details