Proving and explaining the unfeasibility of message sequence charts for hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alessandro Cimatti, Sergio Mover, Stefano Tonetta. Proving and explaining the unfeasibility of message sequence charts for hybrid systems. In Per Bjesse, Anna Slobodová, editors, International Conference on Formal Methods in Computer-Aided Design, FMCAD '11, Austin, TX, USA, October 30 - November 02, 2011. pages 54-62, FMCAD Inc., 2011. [doi]

This author has not been identified. Look up 'Alessandro Cimatti' in GoogleThis author has not been identified. Look up 'Sergio Mover' in GoogleThis author has not been identified. Look up 'Stefano Tonetta' in Google

runs on WebDSL