Projects per year
Search results
-
Aion: Verification of Critical Components Timely Behaviour in a Probabilistic Environment
Verified Trustworthy Software Systems
1/04/20 → 30/09/21
Project: Research
-
Design and Verification of Time-Critical Byzantine Fault-Tolerant Systems
Engineering & Physical Science Research Council
1/04/23 → 31/03/26
Project: Research Councils