Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guillaume Dupont, Yamine Aït Ameur, Marc Pantel, Neeraj Kumar Singh. Handling Refinement of Continuous Behaviors: A Proof Based Approach with Event-B. In Dominique Méry, Shengchao Qin, editors, 2019 International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, Guilin, China, July 29-31, 2019. pages 9-16, IEEE, 2019. [doi]

This author has not been identified. Look up 'Guillaume Dupont' in GoogleThis author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Marc Pantel' in GoogleThis author has not been identified. Look up 'Neeraj Kumar Singh' in Google

runs on WebDSL