Back Propagating B System Updates on SysML/KAOS Domain Models Conference Paper uri icon

publication date

  • December 1, 2018

published in

  •  

start page

  • 160

end page

  • 169