Combining control and data abstraction in the verification of hybrid systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xavier Briand, Bertrand Jeannet. Combining control and data abstraction in the verification of hybrid systems. In 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA. pages 141-150, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Xavier Briand' in GoogleThis author has not been identified. Look up 'Bertrand Jeannet' in Google

runs on WebDSL