Formal Behavioral Modeling for Verifying SCA Composition with Event-B Conference Paper uri icon

publication date

  • June 1, 2015

published in

  •  

start page

  • 17

end page

  • 24