EB4EB: A Framework for Reflexive Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Peter Riviere, Neeraj Kumar Singh, Yamine Aït Ameur. EB4EB: A Framework for Reflexive Event-B. In 26th International Conference on Engineering of Complex Computer Systems, ICECCS 2022, Hiroshima, Japan, March 26-30, 2022. pages 71-80, IEEE, 2022. [doi]

This author has not been identified. Look up 'Peter Riviere' in GoogleThis author has not been identified. Look up 'Neeraj Kumar Singh' in GoogleThis author has not been identified. Look up 'Yamine Aït Ameur' in Google

runs on WebDSL