Mohamed Amine Aouadhi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Event-B is a proof-based formal method used for discrete systems modelling. Several works have previously focused on the extension of Event-B for the description of probabilistic systems. In this paper, we propose an extension of Event-B that allows designing fully probabilistic systems as well as systems containing both probabilistic and non-deterministic(More)
  • 1