Mohamed Amine Aouadhi

According to our database, Mohamed Amine Aouadhi authored at least 2 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2019

Introducing probabilistic reasoning within Event-B.

Mohamed Amine Aouadhi, Benoît Delahaye, Arnaud Lanoix

Softw. Syst. Model., 2019

2017

Introduction de raisonnement probabiliste dans la méthode B événementiel. (Introducing Probabilistic reasoning within Event-B).

Mohamed Amine Aouadhi

PhD thesis, 2017