Guidelines for Formal Domain Modeling in Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Atif Mashkoor, Jean-Pierre Jacquot. Guidelines for Formal Domain Modeling in Event-B. In Taghi M. Khoshgoftaar, editor, 13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011. pages 138-145, IEEE Computer Society, 2011. [doi]

This author has not been identified. Look up 'Atif Mashkoor' in GoogleThis author has not been identified. Look up 'Jean-Pierre Jacquot' in Google

runs on WebDSL