Event-B Decomposition Analysis for Systems Behavior Modeling - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Kenza Kraibi' in GoogleThis author has not been identified. Look up 'Rahma Ben Ayed' in GoogleThis author has not been identified. Look up 'Joris Rehm' in GoogleThis author has not been identified. Look up 'Simon Collart Dutilleul' in GoogleThis author has not been identified. Look up 'Philippe Bon' in GoogleThis author has not been identified. Look up 'Dorian Petit' in Google

runs on WebDSL