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]
Abstract is missing.