An Automatically Verified Prototype of the Tokeneer ID Station Specification.

Maximiliano Cristiá Gianfranco Rossi

Published in: CoRR (2020)

Keyphrases

user defined
database
automatically generated
high level
search engine
image processing
bayesian networks
test bed