Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Sarah Benyagoub, Yamine Aït Ameur, Meriem Ouederni, Atif Mashkoor, Ahmed Medeghri. Formal design of scalable conversation protocols using Event-B: Validation, experiments, and benchmarks. Journal of Software Maintenance, 32(2), 2020. [doi]

This author has not been identified. Look up 'Sarah Benyagoub' in GoogleThis author has not been identified. Look up 'Yamine Aït Ameur' in GoogleThis author has not been identified. Look up 'Meriem Ouederni' in GoogleThis author has not been identified. Look up 'Atif Mashkoor' in GoogleThis author has not been identified. Look up 'Ahmed Medeghri' in Google

runs on WebDSL