An Automatically Verified Prototype of the Tokeneer ID Station Specification.

Maximiliano Cristiá Gianfranco Rossi

Published in: J. Autom. Reason. (2021)

Keyphrases

user defined
automatically generated
three dimensional
high level
video sequences
database
genetic algorithm
multiscale
multi agent
artificial neural networks
test bed