School of Computing Science

Projects

BESST - Behavioural Synthesis of Systems with Heterogeneous Timing