Sign in

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