Parameter Synthesis for Hierarchical Concurrent Real-Time Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Étienne André, Yang Liu, Jun Sun 0001, Jin Song Dong. Parameter Synthesis for Hierarchical Concurrent Real-Time Systems. 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 253-262, IEEE Computer Society, 2012. [doi]

This author has not been identified. Look up 'Étienne André' in GoogleThis author has not been identified. Look up 'Yang Liu' in GoogleThis author has not been identified. Look up 'Jun Sun 0001' in GoogleThis author has not been identified. Look up 'Jin Song Dong' in Google

runs on WebDSL