Kun Wei

Search results

• 2010

  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