Verifying SeVeCom using set-based abstraction.

Sebastian Mödersheim Paolo Modesti

Published in: IWCMC (2011)

Keyphrases

high level
data sets
similarity measure
relational databases
special case
input image
medical images