A Timed Model of Circus with the Reactive Design Miracle

Kun Wei, Jim Woodcock, Alan Burns

Computer Science

Research output: Contribution to conference › Paper

1 results

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