Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
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 Press , pp. 55-64.

This list was generated on Mon Oct 21 03:50:26 2019 BST.