Accéder directement au contenu

Arnaud Lanoix

5
Documents

Publications

benoit-delahaye
Image document

Introducing Probabilistic Reasoning within Event-B

 Mohamed Amine Aouadhi , Benoît Delahaye , Arnaud Lanoix
Software and Systems Modeling, 2019
Article dans une revue hal-01610778v1
Image document

Moving from Event-B to Probabilistic Event-B

 Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩
Communication dans un congrès hal-01590903v1
Image document

Moving from Event-B to probabilistic Event-B

 Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2016
Rapport hal-01316610v2
Image document

A Fully Probabilistic Extension of Event-B

 Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2016
Rapport hal-01255753v1
Image document

About Probabilistic Event-B

 Mohamed Amine Aouadhi , Benoit Delahaye , Arnaud Lanoix
[Research Report] LINA-University of Nantes. 2015
Rapport hal-01151594v2