Extending SysML with Refinement and Decomposition Mechanisms to Generate Event-B Specifications.

Racem Bougacha, Rgine Laleau, Simon Collart Dutilleul, Rahma Ben Ayed

Browse the full TASE paper archive.