Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit. Event-B Decomposition Analysis for Systems Behavior Modeling. In Marten van Sinderen, Leszek A. Maciaszek, editors, Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019. pages 278-286, SciTePress, 2019. [doi]
@inproceedings{KraibiARDBP19,
title = {Event-B Decomposition Analysis for Systems Behavior Modeling},
author = {Kenza Kraibi and Rahma Ben Ayed and Joris Rehm and Simon Collart Dutilleul and Philippe Bon and Dorian Petit},
year = {2019},
doi = {10.5220/0007929602780286},
url = {https://doi.org/10.5220/0007929602780286},
researchr = {https://researchr.org/publication/KraibiARDBP19},
cites = {0},
citedby = {0},
pages = {278-286},
booktitle = {Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019},
editor = {Marten van Sinderen and Leszek A. Maciaszek},
publisher = {SciTePress},
isbn = {978-989-758-379-7},
}