C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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