An experimental system for SON verification.

Tsvetko Tsvetkov Henning Sanneck Georg Carle

Published in: ISWCS (2014)

Keyphrases

model checking
face verification
asynchronous circuits
artificial intelligence
similarity measure
bayesian networks
hidden markov models
distributed systems
signature verification
cryptographic protocols
concurrent systems