A Timed Model of Circus with the Reactive Design Miracle - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kun Wei, Jim Woodcock, Alan Burns. A Timed Model of Circus with the Reactive Design Miracle. In José Luiz Fiadeiro, Stefania Gnesi, Andrea Maggiolo-Schettini, editors, 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010, Pisa, Italy, 13-18 September 2010. pages 315-319, IEEE Computer Society, 2010. [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