Kenza Kraibi

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 4

Top Topics

Decomposition Method

Unified Modeling Language

Knowledge Based Systems

Top Venues

FM Workshops (2)

Publications

Kenza Kraibi
Event-B: From Systems to Sub-systems Modeling. ABZ (2020)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Towards a Method for the Decomposition by Refinement in Event-B. FM Workshops (2) (2019)
Kenza Kraibi, Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Analysis and Formal Modeling of Systems Behavior Using UML/Event-B. J. Commun. 14 (10) (2019)
Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit
Event-B Decomposition Analysis for Systems Behavior Modeling. ICSOFT (2019)