A Formal Approach for Interoperability Testing of Security Rules Conference Paper uri icon

publication date

  • December 1, 2010

published in

  •  

start page

  • 277

end page

  • 284