Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions.

Steve Jeffrey Tueno Fotso, Marc Frappier, Rgine Laleau, Amel Mammar, Michael Leuschel

Browse the full IFM paper archive.