A Timed Model of Circus with the Reactive Design Miracle

Kun Wei, Jim Woodcock, Alan Burns

Computer Science

Research output: Contribution to conference › Paper

Original language	Undefined/Unknown
Pages	315-319
Publication status	Published - 2010

Access to Document

http://dx.doi.org/10.1109/SEFM.2010.40

Other files and links

Link to publication in Scopus

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

Cite this