School of Computing

Projects

BESST - Behavioural Synthesis of Systems with Heterogeneous Timing