A timeband framework for modelling real-time systems

A. Burns, I.J. Hayes

Computer Science

Research output: Contribution to journal › Article › peer-review

1 results

Filter

Finished

INDEED: Interdisciplinary Design and Evaluation of ...
Burns, A. (Principal investigator) & Woodcock, J. (Co-investigator)
EPSRC
1/02/07 → 28/02/11
Project: Research project (funded) › Research