Investigating Instrumentation Techniques for ESB Runtime Verification.

Christian Colombo Gabriel Dimech Adrian Francalanza

Published in: SEFM (2015)

Keyphrases

model checking
formal verification
feature extraction
face verification
signature verification
asynchronous circuits
database
databases
real world
case study
three dimensional
relational databases
cryptographic protocols
person identification
concurrent systems