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

Introducing probabilistic reasoning within Event-B. - Mohamed Amine Aouadhi; Benoît Delahaye; Arnaud Lanoix (Softw. Syst. Model., 2019)