Measuring performance of continuous-time stochastic processes using timed automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tomás Brázdil, Jan Krcál, Jan Kretínský, Antonín Kucera, Vojtech Rehák. Measuring performance of continuous-time stochastic processes using timed automata. In Marco Caccamo, Emilio Frazzoli, Radu Grosu, editors, Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2011, Chicago, IL, USA, April 12-14, 2011. pages 33-42, ACM, 2011. [doi]

This author has not been identified. Look up 'Tomás Brázdil' in GoogleThis author has not been identified. Look up 'Jan Krcál' in GoogleThis author has not been identified. Look up 'Jan Kretínský' in GoogleThis author has not been identified. Look up 'Antonín Kucera' in GoogleThis author has not been identified. Look up 'Vojtech Rehák' in Google

runs on WebDSL