Project Details
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 |
Funding
- Verified Trustworthy Software Systems
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 |