Login / Signup

Verification of scan-on-receive beamforming for X-Band HRWS applications.

Grzegorz AdamiukThomas FügenChristian FischerBernhard GrafmuellerFriedhelm RostanChristoph Heer
Published in: IGARSS (2016)
Keyphrases
  • model checking
  • scan data
  • verification method
  • website
  • frequency domain
  • databases
  • blind source separation
  • functional verification
  • neural network
  • real world
  • machine learning
  • image sequences
  • formal verification