Items where authors include "Wei, Kun"

Export as [feed] Atom [feed] RSS
Number of items: 2.

Book Section

Wei, Kun, Woodcock, Jim orcid.org/0000-0001-7955-2702 and Burns, Alan orcid.org/0000-0001-5621-8816 (2012) Modelling Temporal Behaviour in Complex Systems with Timebands. In: Hinchey, Mike and Coyle, Lorcan, (eds.) Conquering Complexity. Springer , London , pp. 277-307.

Proceedings Paper

Wei, Kun, Woodcock, Jim and Burns, Alan orcid.org/0000-0001-5621-8816 (2011) Timed circus : Timed CSP with the miracle. In: Perseil, Isabelle, Breitman, Karin and Sterritt, Roy, (eds.) 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, 27-29 Apr 2011. IEEE Computer Society , GBR , pp. 55-64.

This list was generated on Mon Mar 25 01:25:21 2024 GMT.