Syrine Aouadi, Arnaud Lanoix. Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events. In El Hassan Abdelwahed, Ladjel Bellatreche, Djamal Benslimane, Matteo Golfarelli, Stéphane Jean, Dominique Méry, Kazumi Nakamatsu, Carlos Ordonez 0001, editors, New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings. Volume 929 of Communications in Computer and Information Science, pages 185-199, Springer, 2018. [doi]
@inproceedings{AouadiL18,
title = {Reliability in Fully Probabilistic Event-B: How to Bound the Enabling of Events},
author = {Syrine Aouadi and Arnaud Lanoix},
year = {2018},
doi = {10.1007/978-3-030-02852-7_17},
url = {https://doi.org/10.1007/978-3-030-02852-7_17},
researchr = {https://researchr.org/publication/AouadiL18},
cites = {0},
citedby = {0},
pages = {185-199},
booktitle = {New Trends in Model and Data Engineering - MEDI 2018 International Workshops, DETECT, MEDI4SG, IWCFS, REMEDY, Marrakesh, Morocco, October 24-26, 2018, Proceedings},
editor = {El Hassan Abdelwahed and Ladjel Bellatreche and Djamal Benslimane and Matteo Golfarelli and Stéphane Jean and Dominique Méry and Kazumi Nakamatsu and Carlos Ordonez 0001},
volume = {929},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-3-030-02852-7},
}