Model measuring for hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas A. Henzinger, Jan Otop. Model measuring for hybrid systems. In Martin Fränzle, John Lygeros, editors, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014. pages 213-222, ACM, 2014. [doi]

This author has not been identified. Look up 'Thomas A. Henzinger' in GoogleThis author has not been identified. Look up 'Jan Otop' in Google

runs on WebDSL