Event-B Decomposition Analysis for Systems Behavior Modeling.

Kenza Kraibi, Rahma Ben Ayed, Joris Rehm, Simon Collart Dutilleul, Philippe Bon, Dorian Petit

Browse the full ICSoft paper archive.