Login / Signup

Independent Verification of the Sentinel-1A System Calibration.

Marco SchwerdtKersten SchmidtNuria Tous-RamonGabriel Castellanos AlfonzoBjörn J. DöringManfred ZinkPau Prats-Iraola
Published in: IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. (2016)
Keyphrases
  • camera calibration
  • model checking
  • neural network
  • formal methods
  • databases
  • face verification
  • formal verification
  • verification method