Arnaud Lanoix
5
Documents
Publications
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 5
- 1
- 1
- 2
- 1
|
Introducing Probabilistic Reasoning within Event-BSoftware and Systems Modeling, 2019
Article dans une revue
hal-01610778v1
|
|
Moving from Event-B to Probabilistic Event-B32nd ACM SIGAPP Symposium On Applied Computing, Apr 2017, Marrakech, Morocco. ⟨10.1145/3019612.3019823⟩
Communication dans un congrès
hal-01590903v1
|
|
A Fully Probabilistic Extension of Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
hal-01255753v1
|
|
Moving from Event-B to probabilistic Event-B[Research Report] LINA-University of Nantes. 2016
Rapport
hal-01316610v2
|
|
About Probabilistic Event-B[Research Report] LINA-University of Nantes. 2015
Rapport
hal-01151594v2
|