Steve Jeffrey Tueno Fotso, Amel Mammar, Régine Laleau, Marc Frappier. Event-B expression and verification of translation rules between SysML/KAOS domain models and B system specifications.
ABZ 2018 : 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.55--70,
⟨10.1007/978-3-319-91271-4_5⟩.
⟨hal-01797812⟩