Interdisciplinary Design and Evaluation of ...

Project: Research project (funded) › Research

A timeband framework for modelling real-time systems
Burns, A. & Hayes, I. J., Jun 2010, In: Real-Time Systems. 45, 1-2, p. 106-142 36 p.
Research output: Contribution to journal › Article › peer-review

File
A Timed Model of Circus with the Reactive Design Miracle
Wei, K., Woodcock, J. & Burns, A., 2010, p. 315-319.
Research output: Contribution to conference › Paper
Modelling and Implementing Complex Systems with Timebands
Woodcock, J., Oliveira, M., Burns, A. & Wei, K., 2010, p. 1-13.
Research output: Contribution to conference › Paper › peer-review

Project Details