Moving from Event-B to probabilistic Event-B - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mohamed Amine, Benoît Delahaye, Arnaud Lanoix. Moving from Event-B to probabilistic Event-B. In Ahmed Seffah, Birgit Penzenstadler, Carina Alves, Xin Peng, editors, Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. pages 1348-1355, ACM, 2017. [doi]

This author has not been identified. Look up 'Mohamed Amine' in GoogleThis author has not been identified. Look up 'Benoît Delahaye' in GoogleThis author has not been identified. Look up 'Arnaud Lanoix' in Google

runs on WebDSL