Projects per year
Search results
-
Finished
Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment
Verified Trustworthy Software Systems
1/04/20 → 30/09/21
Project: Research