Back Propagating B System Updates on SysML/KAOS Domain Models.

Steve Jeffrey Tueno Fotso, Marc Frappier, Regine Laleau, Amel Mammar

Browse the full ICECCS paper archive.