Timed Circus: Timed CSP with the Miracle - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kun Wei, Jim Woodcock, Alan Burns. Timed Circus: Timed CSP with the Miracle. In Isabelle Perseil, Karin Breitman, Roy Sterritt, editors, 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. pages 55-64, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Kun Wei' in GoogleThis author has not been identified. Look up 'Jim Woodcock' in GoogleThis author has not been identified. Look up 'Alan Burns' in Google

runs on WebDSL