Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events.

Syrine Aouadi, Arnaud Lanoix

Browse the full MEDI paper archive.